Title: A framework for graphical animation of object-oriented models of embedded real-time software