Title: Logical design of sequence controllers for machine operations