Ichiro Satoh Mario Tokoro A Timed Calculus for Distributed Objects with Clocks. 326-345 https://doi.org/10.1007/3-540-47910-4_17 1993 conf/ecoop/1993 ECOOP db/conf/ecoop/ecoop93.html#SatohT93