Sethu Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravit. A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. In IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. pages 63-70, IEEE, 2007. [doi]
Abstract is missing.