@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

@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