3[4]Jean-Pierre Courtiat, Roberto C., de Oliveira. On RT-LOTOS and its application to the formal design of multimedia protocols[J]. Multimedia and Networking, 1995, Vol. 50,No. 11 ～ 12, pp. 888 ～ 906.
4[5]Luc Leonard and Guy Leduc.. An enhanced version of timed LOTOS and its application to a case study. In: Richard L.Tenney, Paul D. Amer, and M. Umit Uyar, eds. Proc. Formal Description Techniques Ⅵ, North-Holland, Amsterdam,Netherlands, 1994, 483 ～ 500.
5[6]Conrado Daws , Alfredo Olivero , Sergio Yovine. Verifying ET-LOTOS programmes with KRONOS. Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques Ⅶ, January 1995,227 ～ 242.
