Fischmeister, S. ., & Azim, A. . (2010). Design Choices for High-Confidence Distributed Real-time Software. Proc. Of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 327-342. Heraclion, Crete, Greece. https://doi.org/10.1007/978-3-642-16561-0_32 (Original work published 2024)