Establishing properties of frameworks and their applications a case study using alloy and object-z - Heger, Christian; Schmitz, Lothar 1949- (Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 2009)