Przigoda, Nils; Soeken, Mathias; Wille, Robert; Drechsler, Rolf: 'Verifying the structure and behavior in UML/OCL models using satisfiability solvers', IET Cyber-Physical Systems: Theory & Applications, 2016, 1, (1), p. 49-59, DOI: 10.1049/iet-cps.2016.0022
IET Digital Library, https://digital-library.theiet.org/;jsessionid=17jb30erwtynf.x-iet-live-01content/journals/10.1049/iet-cps.2016.0022