Complex events specification for properties validation