"Formalization of fUML: An Application to Process Verification."

Yoann Laurent et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics