The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems Unknown author
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 Unknown author