Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”https://doi.org/10.1016/j.scico.2009.11.004__Sci. Comput. Program., no. 3 (2010): 192--210.https://doi.org/10.1016/j.scico.2009.11.004 .

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”https://doi.org/10.1007/978-3-642-17322-6_23__In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch\'22afer, Andy Sch\'22urr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-17322-6_23 .

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”https://doi.org/10.1007/978-3-642-16901-4_35__In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16901-4_35 .

Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”https://doi.org/10.1007/978-3-642-16265-7_14__In Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16265-7_14 .

Wehrheim, Heike, and Daniel Wonisch. “Compositional CSP Traces Refinement Checking.”https://doi.org/10.1016/j.entcs.2009.08.022__Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151.https://doi.org/10.1016/j.entcs.2009.08.022 .

Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”https://doi.org/10.1016/j.entcs.2009.12.025__Electr. Notes Theor. Comput. Sci., 2009, 193--205.https://doi.org/10.1016/j.entcs.2009.12.025 .

Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”https://doi.org/10.1109/SEAA.2009.39__In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 360--367, 2009.https://doi.org/10.1109/SEAA.2009.39 .

Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009.https://doi.org/10.1007/978-3-642-00255-7 .

Wehrheim, Heike. “Refinement in the Presence of Unknowns.”https://doi.org/10.1016/j.entcs.2008.02.023__Electr. Notes Theor. Comput. Sci., 2008, 255--264.https://doi.org/10.1016/j.entcs.2008.02.023 .

Estler, H.-Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”https://doi.org/10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 .