In recent years, the Unified Modeling Language (UML) has been successfully used to develop many embedded applications, including avionics, automotive, medical, industrial automation, and ...