Events in Formal Methods