An extensible infrastructure for modeling and time analysis of predictable embedded systems.

Fernando Herrera, Ingo Sander

Browse the full FDL paper archive.