Stephan Flake Wolfgang Müller 0003 Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. 154-163 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.29 db/conf/sefm/sefm2004.html#FlakeM04