Juliana Küster Filipe, Stuart Anderson. On a time enriched OCL liveness template. STTT, 8(2):156-166, 2006. [doi]
@article{FilipeA06,
title = {On a time enriched OCL liveness template},
author = {Juliana Küster Filipe and Stuart Anderson},
year = {2006},
doi = {10.1007/s10009-005-0210-0},
url = {http://dx.doi.org/10.1007/s10009-005-0210-0},
tags = {OCL},
researchr = {https://researchr.org/publication/FilipeA06},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {8},
number = {2},
pages = {156-166},
}