Milicia, G.; Sassone, V. Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. BRICS 2003, 10.