Michael Soden Hajo Eichler Temporal Extensions of OCL Revisited. 190-205 2009 ECMDA-FA http://dx.doi.org/10.1007/978-3-642-02674-4_14 conf/ecmdafa/2009 db/conf/ecmdafa/ecmdafa2009.html#SodenE09