Matteo Bordin, Tullio Vardanega. Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. In Nabil Abdennadher, Fabrice Kordon, editors, Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings. Volume 4498 of Lecture Notes in Computer Science, pages 114-127, Springer, 2007. [doi]
Abstract is missing.