Jan Carlson, Björn Lisper. An event detection algebra for reactive systems. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 147-154, ACM, 2004. [doi]
Abstract is missing.