Juliana Küster Filipe Stuart Anderson On a time enriched OCL liveness template. 156-166 2006 8 STTT 2 http://dx.doi.org/10.1007/s10009-005-0210-0 db/journals/sttt/sttt8.html#FilipeA06