Faculty: Design methodologies of sequential control systems.