Complex Events Specification for Properties Validation | IEEE Conference Publication | IEEE Xplore