"Formulating Model Verification Tasks Prover-Independently as UML Diagrams."

Martin Gogolla et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics