Design and Implementation of an ECA Rule Markup Language. - Marco Seiriö; Mikael Berndtsson (RuleML, 2005)

Seamless formal verification of complex event processing applications. - AnnMarie Ericsson; Paul Pettersson; Mikael Berndtsson; Marco Seiriö (DEBS, 2007)