A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling
Modeling and Analysis of Flexible Manufacture Systems through Hierarchical and Colored Petri Nets
A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems
On the use of X-machine Formal Model to Design Sensor Network Applications
Raimundo da Silva Barreto
Lucas Carvalho Cordeiro
José Francisco de Magalhães Netto
M. M. CUSTODIO
J. E. CHAVES FILHO
M. AGUIAR