Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real - Peres, Leticia Mara (2010)
Orientador: Prof. Dr. Luis Allan Künzle