- Object-Oriented Analysis and Design for Information Systems: Modeling with UML, Ocl, and Ifml
- Object-Oriented Analysis and Design for Information Systems: Modeling with BPMN, OCL, IFML, and Python
- Tracciabilità tra gli artefatti software: Tecnica induttiva per ottenere le tracce tra gli artefatti software
- Traçabilité entre les artefacts logiciels: Technique inductive pour l'obtention de traces entre artefacts logiciels
- Rückverfolgbarkeit zwischen Software-Artefakten: Induktive Technik zur Gewinnung von Spuren zwischen Software-Artefakten