Boer, Gabbrielli, Meo, 2000. A Timed Concurrent Constraint Language 161.. https://doi.org/10.1006/inco.1999.2879