Jean-Pierre Courtiat Michel Diaz Time in State Based Formal Description Techniques for Distributed Systems. 149-175 1991 conf/rex/1991 REX Workshop db/conf/rex/rex91.html#CourtiatD91 http://dx.doi.org/10.1007/BFb0031991