Verification of embbeded systems with preemption: a negative result

Jérôme Ermont, Frédéric Boniol