G. Milicia and V. Sassone, “Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects”, BRICS, vol. 10, no. 6, Feb. 2003.