A. Ericsson, P. Pettersson,
M. Berndtsson, and M. Seiriö
Seamless Formal Verification
of Complex Event Processing Applications. In
H. A. Jacobsen, G. Mühl, and M. A. Jaeger, editors,
Proceedings of the Inaugural Conference on
Distributed Event-Based Systems, pages 50‒61,
New York, NY, USA, June 2007. ACM Press.
