Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.

Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frdric Mallet, Paul Pettersson

Browse the full SEFM paper archive.