Temporale Erweiterungen der OCL - Überblick und Aussichten
S. Flake, W. Müller, (2002).