autores EURICO AUGUSTO RODRIGUES DE SEABRA Borges, Paulo José Mendes Machado Seabra, Eurico Lima, Mário Jorge Barroso
palavras-chave Embedded systems Formal verification Real-time systems Safe controllers Science & Technology Specification formalisms