Valérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine. TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 2875-2880, IEEE, 2001. [doi]
Abstract is missing.