Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach.

Valentin Besnard, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Philippe Dhaussy

Browse the full MODELS paper archive.