%0 Conference Paper
%B P&D@ MoDELS
%D 2015
%G eng
%T UML-VT: A Formal Verification Environment for UML Activity Diagrams.