Simulation and formal verification of real time systems: A case study.

Eurico Seabra, Jos Machado, Jaime Ferreira da Silva, Filomena O. Soares, Celina P. Leo

Browse the full ICINCO paper archive.