Timing tolerances in safety-critical software (2005)

by A Wassyng, X Hu
Venue:In Proceedings. of the Int. System. of Form. Meth. Eur