Embedded software designs such as those for avionics and automotive systems have become highly complex to develop, test and ... later phase of the life cycle. A crucial step in model based development ...