Towards a time-triggered schedule calculation tool to support model-based embedded software design. - Porter, Joseph; Karsai, Gabor; Sztipanovits, Janos (2009)