SCCD Debugger: a Debugger for Statecharts and Class Diagrams.

Francisco Simes, Miguel Goulo, Vasco Amaral, Joeri Exelmans, Hans Vangheluwe

Browse the full MODELS paper archive.