@articleMöller_Olderog_Rasch_Wehrheim_2008, title=Integrating a formal method into a software engineering process with UML and Java, DOI=10.1007/s00165-007-0042-7, number=2, journal=Formal Asp. Comput., author=Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike, year=2008, pages=161--204 

@articleBrückner_Dräger_Finkbeiner_Wehrheim_2008, title=Slicing Abstractions, number=4, journal=Fundam. Inform., author=Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike, year=2008, pages=369--392 

@inproceedingsEngels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations, DOI=10.1007/978-3-540-69100-6_7, booktitle=Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, author=Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=Schieferdecker, Ina and Hartman, AlanEditors, year=2008, pages=94--109, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Schellhorn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack, DOI=10.1007/978-3-540-68863-1_6, booktitle=Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Barthe, Gilles and S. de Boer, FrankEditors, year=2008, pages=78--95, collection=Lecture Notes in Computer Science 

@inproceedingsMetzler_Wehrheim_Wonisch_2008, series=Lecture Notes in Computer Science, title=Decomposition for Compositional Verification, DOI=10.1007/978-3-540-88194-0_9, booktitle=Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, author=Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel, editor=Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors, year=2008, pages=105--125, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2008, series=Lecture Notes in Computer Science, title=Bounded Model Checking for Partial Kripke Structures, DOI=10.1007/978-3-540-85762-4_26, booktitle=Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, author=Wehrheim, Heike, editor=S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig\'22un, H\'22usn\'22uEditors, year=2008, pages=380--394, collection=Lecture Notes in Computer Science 

@articleDerrick_Wehrheim_2007, title=On using data abstractions for model checking refinements, DOI=10.1007/s00236-007-0042-3, number=1, journal=Acta Inf., author=Derrick, John and Wehrheim, Heike, year=2007, pages=41--71 

@articleMetzler_Wehrheim_2007, title=Extending a Component Specification Language with Time, DOI=10.1016/j.entcs.2006.02.031, number=2, journal=Electr. Notes Theor. Comput. Sci., author=Metzler, Björn and Wehrheim, Heike, year=2007, pages=47--67 

@articleEstler_Ruhroth_Wehrheim_2007, title=Modelchecking Correctness of Refactorings - Some Experiments, DOI=10.1016/j.entcs.2006.08.041, journal=Electr. Notes Theor. Comput. Sci., author=Estler, H.-Christian and Ruhroth, Thomas and Wehrheim, Heike, year=2007, pages=3--17 

@inproceedingsEngels_Güldali_Soltenborn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Assuring Consistency of Business Process Models and Web Services Using Visual Contracts, DOI=10.1007/978-3-540-89020-1_2, booktitle=Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, author=Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike, editor=Sch\'22urr, Andy and Nagl, Manfred and Z\'22undorf, AlbertEditors, year=2007, pages=17--31, collection=Lecture Notes in Computer Science 

@inproceedingsEngels_Soltenborn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Analysis of UML Activities Using Dynamic Meta Modeling, DOI=10.1007/978-3-540-72952-5_5, booktitle=Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, author=Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike, editor=M. Bonsangue, Marcello and Broch Johnsen, EinarEditors, year=2007, pages=76--90, collection=Lecture Notes in Computer Science 

@inproceedingsRuhroth_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Refactoring Object-Oriented Specifications with Data and Processes, DOI=10.1007/978-3-540-72952-5_15, booktitle=Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, author=Ruhroth, Thomas and Wehrheim, Heike, editor=M. Bonsangue, Marcello and Broch Johnsen, EinarEditors, year=2007, pages=236--251, collection=Lecture Notes in Computer Science 

@inproceedingsSchäfer_Wehrheim_2007, title=The Challenges of Building Advanced Mechatronic Systems, DOI=10.1109/FOSE.2007.28, booktitle=International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, author=Schäfer, Wilhelm and Wehrheim, Heike, editor=C. Briand, Lionel and L. Wolf, AlexanderEditors, year=2007, pages=72--84 

@inproceedingsDerrick_Schellhorn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Proving Linearizability Via Non-atomic Refinement, DOI=10.1007/978-3-540-73210-5_11, booktitle=Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Davies, Jim and Gibbons, JeremyEditors, year=2007, pages=195--214, collection=Lecture Notes in Computer Science 

@articleBrückner_Metzler_Wehrheim_2006, title=Optimizing Slicing of Formal Specifications by Deductive Verification, number=1–2, journal=Nord. J. Comput., author=Brückner, Ingo and Metzler, Björn and Wehrheim, Heike, year=2006, pages=22--45 

@inproceedingsDerrick_Wehrheim_2006, series=Lecture Notes in Computer Science, title=Model Transformations Incorporating Multiple Views, DOI=10.1007/11784180_11, booktitle=Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, author=Derrick, John and Wehrheim, Heike, editor=Johnson, Michael and Vene, VarmoEditors, year=2006, pages=111--126, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2006, series=Lecture Notes in Computer Science, title=Incremental Slicing, DOI=10.1007/11901433_28, booktitle=Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, author=Wehrheim, Heike, editor=Liu, Zhiming and He, JifengEditors, year=2006, pages=514--528, collection=Lecture Notes in Computer Science 

@bookGorrieri_Wehrheim_2006, series=Lecture Notes in Computer Science, title=Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, DOI=10.1007/11768869, year=2006, collection=Lecture Notes in Computer Science 

@articleOlderog_Wehrheim_2005, title=Specification and (property) inheritance in CSP-OZ, DOI=10.1016/j.scico.2004.05.017, number=1–3, journal=Sci. Comput. Program., author=Olderog, Ernst-Rüdiger and Wehrheim, Heike, year=2005, pages=227--257 

@articleWehrheim_2005, title=Slicing techniques for verification re-use, DOI=10.1016/j.tcs.2005.06.020, number=3, journal=Theor. Comput. Sci., author=Wehrheim, Heike, year=2005, pages=509--528 

@inproceedingsRasch_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Checking the Validity of Scenarios in UML Models, DOI=10.1007/11494881_5, booktitle=Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, author=Rasch, Holger and Wehrheim, Heike, editor=Steffen, Martin and Zavattaro, GianluigiEditors, year=2005, pages=67--82, collection=Lecture Notes in Computer Science 

@inproceedingsBrückner_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Slicing an Integrated Formal Method for Verification, DOI=10.1007/11576280_25, booktitle=Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, author=Brückner, Ingo and Wehrheim, Heike, editor=Lau, Kung-Kiu and Banach, RichardEditors, year=2005, pages=360--374, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Non-atomic Refinement in Z and CSP, DOI=10.1007/11415787_3, booktitle=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, author=Derrick, John and Wehrheim, Heike, editor=Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors, year=2005, pages=24--44, collection=Lecture Notes in Computer Science 

@inproceedingsBrückner_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Slicing Object-Z Specifications for Verification, DOI=10.1007/11415787_24, booktitle=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, author=Brückner, Ingo and Wehrheim, Heike, editor=Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors, year=2005, pages=414--433, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2004, series=Lecture Notes in Computer Science, title=Refinement and Consistency in Component Models with Multiple Views, DOI=10.1007/11786160_5, booktitle=Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, author=Wehrheim, Heike, editor=H. Reussner, Ralf and A. Stafford, Judith and A. Szyperski, ClemensEditors, year=2004, pages=84--102, collection=Lecture Notes in Computer Science 

@inproceedingsMöller_Olderog_Rasch_Wehrheim_2004, series=Lecture Notes in Computer Science, title=Linking CSP-OZ with UML and Java: A Case Study, DOI=10.1007/978-3-540-24756-2_15, booktitle=Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, author=Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike, editor=A. Boiten, Eerke and Derrick, John and Smith, GraemeEditors, year=2004, pages=267--286, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2004, series=Dagstuhl Seminar Proceedings, title=Refinement and Consistency in Multiview Models, booktitle=Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, author=Wehrheim, Heike, editor=B\rquote ezivin, Jean and Heckel, ReikoEditors, year=2004, collection=Dagstuhl Seminar Proceedings 

@articleWehrheim_2003, title=Behavioral Subtyping Relations for Active Objects, DOI=10.1023/A:1024764232069, number=2, journal=Formal Methods in System Design, author=Wehrheim, Heike, year=2003, pages=143--170 

@inproceedingsWehrheim_2003, series=Lecture Notes in Computer Science, title=Preserving Properties Under Change, DOI=10.1007/978-3-540-30101-1_16, booktitle=Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, author=Wehrheim, Heike, editor=S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors, year=2003, pages=330--343, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2003, series=Lecture Notes in Computer Science, title=Inheritance of Temporal Logic Properties, DOI=10.1007/978-3-540-39958-2_6, booktitle=Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, author=Wehrheim, Heike, editor=Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors, year=2003, pages=79--93, collection=Lecture Notes in Computer Science 

@inproceedingsRasch_Wehrheim_2003, series=Lecture Notes in Computer Science, title=Checking Consistency in UML Diagramms: Classes and State Machines, DOI=10.1007/978-3-540-39958-2_16, booktitle=Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, author=Rasch, Holger and Wehrheim, Heike, editor=Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors, year=2003, pages=229--243, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Wehrheim_2003, series=Lecture Notes in Computer Science, title=Using Coupled Simulations in Non-atomic Refinement, DOI=10.1007/3-540-44880-2_10, booktitle=ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, author=Derrick, John and Wehrheim, Heike, editor=Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald\rquote en, MarinaEditors, year=2003, pages=127--147, collection=Lecture Notes in Computer Science 

@articleWehrheim_2002, title=Relating State-based and Behaviour-oriented Subtyping, number=4, journal=Nord. J. Comput., author=Wehrheim, Heike, year=2002, pages=405--435 

@inproceedingsOlderog_Wehrheim_2002, series=Lecture Notes in Computer Science, title=Specification and Inheritance in CSP-OZ, DOI=10.1007/978-3-540-39656-7_15, booktitle=Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, author=Olderog, Ernst-Rüdiger and Wehrheim, Heike, editor=S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors, year=2002, pages=361--379, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2002, series=IFIP Conference Proceedings, title=Checking Behavioural Subtypes via Refinement, booktitle=Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands, author=Wehrheim, Heike, editor=Jacobs, Bart and Rensink, ArendEditors, year=2002, pages=79--93, collection=IFIP Conference Proceedings 

@articleRensink_Wehrheim_2001, title=Process algebra with action dependencies, DOI=10.1007/s002360100070, number=3, journal=Acta Inf., author=Rensink, Arend and Wehrheim, Heike, year=2001, pages=155--234 

@articleBartetzko_Fischer_Möller_Wehrheim_2001, title=Jass - Java with Assertions, DOI=10.1016/S1571-0661(04)00247-6, number=2, journal=Electr. Notes Theor. Comput. Sci., author=Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike, year=2001, pages=103--117 

@inproceedingsFischer_Olderog_Wehrheim_2001, series=Lecture Notes in Computer Science, title=A CSP View on UML-RT Structure Diagrams, DOI=10.1007/3-540-45314-8_8, booktitle=Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, author=Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike, editor=Hu\'73smann, HeinrichEditor, year=2001, pages=91--108, collection=Lecture Notes in Computer Science 

@articleFischer_Wehrheim_2000, title=Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method, journal=Bulletin of the EATCS, author=Fischer, Clemens and Wehrheim, Heike, year=2000, pages=92--101 

@articleWehrheim_2000, title=Data Abstraction Techniques in the Validation of CSP-OZ Specifications, DOI=10.1007/s001650070026, number=3, journal=Formal Asp. Comput., author=Wehrheim, Heike, year=2000, pages=147--164 

@inproceedingsFischer_Wehrheim_2000, series=Lecture Notes in Computer Science, title=Behavioural Subtyping Relations for Object-Oriented Formalisms, DOI=10.1007/3-540-45499-3_33, booktitle=Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, author=Fischer, Clemens and Wehrheim, Heike, editor=Rus, TeodorEditor, year=2000, pages=469--483, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2000, series=Lecture Notes in Computer Science, title=Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods, DOI=10.1007/3-540-46428-X_23, booktitle=Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, author=Wehrheim, Heike, editor=S. E. Maibaum, T.Editor, year=2000, pages=334--348, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2000, series=IFIP Conference Proceedings, title=Behavioural Subtyping and Property Preservation, DOI=10.1007/978-0-387-35520-7_11, booktitle=Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, author=Wehrheim, Heike, editor=F. Smith, Scott and L. Talcott, CarolynEditors, year=2000, pages=213--231, collection=IFIP Conference Proceedings 

@articleWehrheim_1999, title=Partial order reductions for failures refinement, DOI=10.1016/S1571-0661(05)80296-8, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike, year=1999, pages=71--84 

@inproceedingsWehrheim_1999, series=Lecture Notes in Computer Science, title=Data Abstraction for CSP-OZ, DOI=10.1007/3-540-48118-4_5, booktitle=FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, author=Wehrheim, Heike, editor=M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors, year=1999, pages=1028--1047, collection=Lecture Notes in Computer Science 

@inproceedingsFischer_Wehrheim_1999, title=Model-Checking CSP-OZ Specifications with FDR, booktitle=Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, author=Fischer, Clemens and Wehrheim, Heike, editor=Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors, year=1999, pages=315--334 

@inproceedingsGehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title=A Process Algebra Semantics for MSC Including Conditions, booktitle=Formale Beschreibungstechniken f\'22ur verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. und 5. Juni 1998, author=Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike, editor=K\'22onig, Hartmut and Langend\'22orfer, PeterEditors, year=1998, pages=185--196 

@inproceedingsGehrke_Huhn_Rensink_Wehrheim_1998, series=IFIP Conference Proceedings, title=An Algebraic Semantics for Message Sequence Chart Documents, booktitle=Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII’98, IFIP T W.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, author=Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike, editor=Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors, year=1998, pages=3--18, collection=IFIP Conference Proceedings 

@inproceedingsHuhn_Niebert_Wehrheim_1998, series=Lecture Notes in Computer Science, title=Partial Order Reductions for Bisimulation Checking, DOI=10.1007/978-3-540-49382-2_26, booktitle=Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, author=Huhn, Michaela and Niebert, Peter and Wehrheim, Heike, editor=Arvind, Vikraman and Ramanujam, RamaswamyEditors, year=1998, pages=271--282, collection=Lecture Notes in Computer Science 

@inproceedingsRensink_Wehrheim_1997, series=Lecture Notes in Computer Science, title=Dependency-Based Action Refinement, DOI=10.1007/BFb0029990, booktitle=Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Pr\rquote vara, Igor and Ruzicka, PeterEditors, year=1997, pages=468--477, collection=Lecture Notes in Computer Science 

@inproceedingsRensink_Wehrheim_1997, series=Lecture Notes in Computer Science, title=Dependency-Based Action Refinement, DOI=10.1007/BFb0029990, booktitle=Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Pr\rquote vara, Igor and Ruzicka, PeterEditors, year=1997, pages=468--477, collection=Lecture Notes in Computer Science 

@bookWehrheim_1996, title=Specifying reactive systems with action dependencies: modelling and hierarchical design, publisher=University of Hildesheim, Germany, author=Wehrheim, Heike, year=1996 

@articleGoltz_Wehrheim_1996, title=Modelling Causality via Action Dependencies in Branching Time Semantics, DOI=10.1016/0020-0190(96)00111-1, number=4, journal=Inf. Process. Lett., author=Goltz, Ursula and Wehrheim, Heike, year=1996, pages=179--184 

@inproceedingsGoltz_Wehrheim_1996, series=Lecture Notes in Computer Science, title=Causal Testing, DOI=10.1007/3-540-61550-4_165, booktitle=Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, author=Goltz, Ursula and Wehrheim, Heike, editor=Penczek, Wojciech and Szalas, AndrzejEditors, year=1996, pages=394--406, collection=Lecture Notes in Computer Science 

@inproceedingsRensink_Wehrheim_1994, series=Lecture Notes in Computer Science, title=Weak Sequential Composition in Process Algebras, DOI=10.1007/978-3-540-48654-1_20, booktitle=CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Jonsson, Bengt and Parrow, JoachimEditors, year=1994, pages=226--241, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_1994, series=IFIP Transactions, title=Parametric Action Refinement, booktitle=Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, author=Wehrheim, Heike, editor=Olderog, Ernst-R\'22udigerEditor, year=1994, pages=247--266, collection=IFIP Transactions