Alessandro Cimatti Marco Roveri Angelo Susi Stefano Tonetta Object Models with Temporal Constraints. 249-258 2008 SEFM http://dx.doi.org/10.1109/SEFM.2008.23 conf/sefm/2008 db/conf/sefm/sefm2008.html#CimattiRST08