Tutorial on Formal Models for Event Processing at ECAI 2014 2014-01-15 Tutorial on Formal Models for Event Processing at ECAI 2014.