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

by Marko Salmela