Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata

AnnMarie Ericsson, Mikael Berndtsson. Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata. In Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA. pages 39-50, IEEE Computer Society, 2006. [doi]

Bibliographies