Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk Corporaal. Strengthening Property Preservation in Concurrent Real-Time Systems. In 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 16-18 August 2006, Sydney, Australia. pages 106-109, IEEE Computer Society, 2006. [doi]
Abstract is missing.