The following publications are possibly variants of this publication:
- KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT 98)Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine. ftrtft 1998: 298-302 [doi]
- KRONOS: A Verification Tool for Real-Time SystemsSergio Yovine. STTT, 1(1-2):123-133, 1997. [doi]
- Symbolic Model Checking for Real-time SystemsThomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine. lics 1992: 394-406
- Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time SystemsConrado Daws. cav 1998: 542-545
- TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systemsValérie Bertin, Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine. cdc 2001: 2875-2880 [doi]