TITLE     : Complex events specification for properties validation
AUTHOR(S) : Bertolino A, Di Marco A, Lonetti F
TYPE      : Conference article
YEAR      : 2012
CODE      : 219523

*** DO NOT EDIT THIS FILE ***