Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. - Jean-Pierre Courtiat; Celso A. S. Santos; Christophe Lohr; B. Outtaj (Comput. Commun., 2000)