CIS 842: Specification and Verification of Reactive Systems Lecture Specifications: Sequencing Properties Copyright 2001-2004, Matt Dwyer, John Hatcliff,