@inbookFlake_Müller_Pape_Ruf_2004, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Specification and Formal Verification of Temporal Properties of Production Automation Systems, volume=3147, DOI=10.1007/978-3-540-27863-4_13, booktitle=Integration of Software Specification Techniques for Applications in Engineering, publisher=Springer-Verlag, author=Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen, editor=Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert, year=2004, pages=206–226, collection=Lecture Notes in Computer Science 
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

@articleFlake_Müller_2003, title=Formal Semantics of Static and Temporal State-Oriented OCL Constraints, volume=2, DOI=10.1007/s10270-003-0026-x, number=3, journal=Journal on Software and System Modeling (SoSyM), publisher=Springer-Verlag, author=Flake, Stephan and Müller, Wolfgang, year=2003, pages=164–186 
LibreCat: /record/34565
DOI: 10.1007/s10270-003-0026-x

@inproceedingsFlake_Müller_2003, place=Las Vegas, NV, title=Expressing Property Specification Patterns with OCL, booktitle=Proceedings of SERP’03, author=Flake, Stephan and Müller, Wolfgang, year=2003 
LibreCat: /record/39364

@inbookFlake_Müller_2002, place=Berlin, Heidelberg, title=An OCL Extension for Real-Time Constraints, DOI=10.1007/3-540-45669-4_8, booktitle=Advances in Object Modelling with the OCL, publisher=Springer-Verlag, author=Flake, Stephan and Müller, Wolfgang, editor=Clark, T. and Warmer, J., year=2002, pages=150–171 
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8