System level modeling of real-time embedded software. - Richard Lee; Samar Abdi; Doug Regehr; Frederic Risacher (ICCD, 2012)