An event detection algebra for reactive systems (2004)

by J Carlson, B Lisper
Venue:In Proc. ACM Int. Conf. On Embedded Software