Joseph Porter Gabor Karsai Janos Sztipanovits Towards a time-triggered schedule calculation tool to support model-based embedded software design. 167-176 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629358 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#PorterKS09