Christophe Aussaguès, Vincent David. A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. In 4th International Conference on Engineering of Complex Computer Systems (ICECCS 98), 10-14 August 1998, Monterey, CA, USA. pages 2-12, IEEE Computer Society, 1998. [doi]
Abstract is missing.