A novel modeling framework for time-triggered safety-critical embedded systems.

Iban Ayestaran, Carlos Fernando Nicols, Jon Prez, Asier Larrucea, Peter P. Puschner

Browse the full FDL paper archive.