Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors
A Formal Modeling for Embedded Hard Real-Time Systems
A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
Raimundo da Silva Barreto
Eduardo Tavares
Meuse Nogueira de Oliveira Junior
Paulo Romero Martins Maciel
R. D. FREITAS
Ruiter Braga Caldas