Cristina Cerschi Seceleanu Paul Pettersson Hans Hansson Scheduling Timed Modules for Correct Resource Sharing. 102-111 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.70 conf/icst/2008 db/conf/icst/icst2008.html#SeceleanuPH08