Flake, S., Müller, W., Pape, U., &; Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, &; E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag.https://doi.org/10.1007/978-3-540-27863-4_13 
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

Flake, S., &; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &; J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag.https://doi.org/10.1007/3-540-45669-4_8 
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8