An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints
Software synthesis for hard real-time embedded systems with multiple processors
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
CML: C Modeling Language
Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets
A Formal Modeling for Embedded Hard Real-Time Systems
Paulo Romero Martins Maciel
Raimundo da Silva Barreto
Meuse Nogueira de Oliveira Junior
Ricardo Massa Ferreira Lima
L. AMORIM
M. L. NEVES