Waheed Ahmad, Andrei Lobov, Jose L. Martinez Lastra. Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line. In IEEE 10th International Conference on Industrial Informatics, INDIN 2012, Beijing, China, July 25-27, 2012. pages 380-385, IEEE, 2012. [doi]
Abstract is missing.