Executable Object-Oriented Graphical Models of Real-Time Software.

Reijo Savola, Marko Salmela, Petri Pulli, Marko Heikkinen

Browse the full ECRTS paper archive.