MILICIA, G.; SASSONE, V. Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. BRICS Report Series, v. 10, n. 6, 6 Feb. 2003.