A framework for graphical animation of object-oriented models of embedded real-time software | lit.salon