HRT-UML: A Design Method for Hard Real-Time Systems based on the UML Notation