MOSEL: A Sound and Efficient Tool for M2L(Str). - Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger (CAV, 1997)

MOSEL: A FLexible Toolset for Monadic Second-Order Logic. - Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger (TACAS, 1997)

Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen. - Claudia Gsottberger (2004)