Embedded system verification through constraint-based scheduling. - El-Mahi, Olfat; Nicolescu, Gabriela; Pesant, Gilles; Beltrame, Giovanni (2012)