Embedded {UML}: a merger of real-time {UML} and co-design.