Unified LTL Verification and Embedded Execution of UML Models.

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

Browse the full MODELS paper archive.