Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.

Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” Proceedings of CCE’03, 2003.

Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.

Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.

Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.

Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.

Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.

Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”10.1007/3-540-45669-4_8__Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.

Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, Oldenbourg Verlag, 2002, pp. 128–36.

Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” Proceedings of the VHE Workshop, 2002.

Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer Basis.” Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.

Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” Proceedings of the HICSS-35, 2002.

Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, 2002.

Dangelmeier, Wilhelm, et al. Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen. 2002.

Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.”10.1145/581199.581234 __Proceedings of the ISS, 2002, doi:10.1145/581199.581234 .

Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” Proceedings of the Extreme Markup Languages 2002, 2002.

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”10.1109/HICSS.2002.994469__Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.

Flake, Stephan, and Wolfgang Müller. Temporale Erweiterungen Der OCL - Überblick Und Aussichten. 2002.

Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”10.1109/ENABL.2001.953425__Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.

Bauer, M., et al. Advanced Infrastructure for PAN-European Collaborative Engineering. 2001.