C.__Daws
Reducing the Number of Clock Variables of Timed Automata
The tool KRONOS
Two examples of verification of multirate timed automata with KRONOS
Verificaci'on autom'atica de sistemas temporizados utilizando Kronos
Verifying ET-LOTOS programs with KRONOS