Milicia, G., and V. Sassone. “Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects”. BRICS Report Series, vol. 10, no. 6, Feb. 2003, doi:10.7146/brics.v10i6.21777.