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