Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes. - Thorsten Humberg; Christian Wessel; Daniel Poggenpohl; Sven Wenzel; Thomas Ruhroth; Jan Jürjens (CLOSER, 2013)

Using Ontologies to Analyze Compliance Requirements of Cloud-Based Processes. - Thorsten Humberg; Christian Wessel; Daniel Poggenpohl; Sven Wenzel; Thomas Ruhroth; Jan Jürjens (CLOSER (Selected Papers), 2013)

Specifying model changes with UMLchange to support security verification of potential evolution. - Sven Wenzel; Daniel Poggenpohl; Jan Jürjens; Martín Ochoa (Comput. Stand. Interfaces, 2014)

Umlchange - specifying model changes to support security verification of potential evolution. - Sven Wenzel; Daniel Poggenpohl; Jan Jürjens; Martín Ochoa (Software Engineering, 2016)