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]
@inproceedings{EricssonB06,
title = {Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata},
author = {AnnMarie Ericsson and Mikael Berndtsson},
year = {2006},
doi = {10.1109/SCW.2006.11},
url = {http://doi.ieeecomputersociety.org/10.1109/SCW.2006.11},
tags = {design},
researchr = {https://researchr.org/publication/EricssonB06},
cites = {0},
citedby = {0},
pages = {39-50},
booktitle = {Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-2681-0},
}