A Practical Approach to State and Mode Definitions for the Specification and Design of Complex Systems