Paolo Ancilotti Giorgio C. Buttazzo Marco Di Natale Marco Spuri Design and Programming Tools for Time Critical Applications. 251-267 1998 14 Real-Time Systems 3 db/journals/rts/rts14.html#AncilottiBNS98