About: Design methodologies of sequential control systems.