Simulation and formal verification of real time systems: A case study. - Eurico Seabra; José Machado 002; Jaime Ferreira da Silva; Filomena O. Soares; Celina P. Leão (ICINCO-SPSMC, 2007)