Marius Bozga Conrado Daws Oded Maler Alfredo Olivero Stavros Tripakis Sergio Yovine KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98). 298-302 1998 conf/ftrtft/1998 FTRTFT http://link.springer.de/link/service/series/0558/bibs/1486/14860298.htm db/conf/ftrtft/ftrtft1998.html#BozgaDMOTY98