Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.”10.1007/978-3-540-27863-4_13__Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.

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.