publicações selecionadas artigo de conferência Simulation and formal verification of real time systems: A case study 2007
