Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in UML Models.”https://doi.org/10.1007/11494881_5__In Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005.https://doi.org/10.1007/11494881_5 .

Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.”https://doi.org/10.1007/11576280_25__In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung-Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005.https://doi.org/10.1007/11576280_25 .

Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in Z and CSP.”https://doi.org/10.1007/11415787_3__In ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005.https://doi.org/10.1007/11415787_3 .

Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”https://doi.org/10.1007/11415787_24__In ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005.https://doi.org/10.1007/11415787_24 .

Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.”https://doi.org/10.1007/11786160_5__In Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102. Lecture Notes in Computer Science, 2004.https://doi.org/10.1007/11786160_5 .

Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Linking CSP-OZ with UML and Java: A Case Study.”https://doi.org/10.1007/978-3-540-24756-2_15__In Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten, John Derrick, and Graeme Smith, 267--286. Lecture Notes in Computer Science, 2004.https://doi.org/10.1007/978-3-540-24756-2_15 .

Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” In Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B\rquote ezivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.

Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.”https://doi.org/10.1023/A:1024764232069__Formal Methods in System Design, no. 2 (2003): 143--170.https://doi.org/10.1023/A:1024764232069 .

Wehrheim, Heike. “Preserving Properties Under Change.”https://doi.org/10.1007/978-3-540-30101-1_16__In Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003.https://doi.org/10.1007/978-3-540-30101-1_16 .

Wehrheim, Heike. “Inheritance of Temporal Logic Properties.”https://doi.org/10.1007/978-3-540-39958-2_6__In Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003.https://doi.org/10.1007/978-3-540-39958-2_6 .