Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.

Stephan Flake, Wolfgang Mller

Browse the full SEFM paper archive.