Anastasi, G., A. Bartoli, N. De Francesco, and A. Santone,
"Efficient verification of a multicast protocol for mobile computing",
The Computer Journal, vol. 44, no. 1: Br Computer Soc, pp. 21–30, 2001.
Santone, A., and G. Vaglini,
"Reusing LOTOS specifications",
Microprocessors and Microsystems, vol. 25, no. 6: Elsevier, pp. 309–314, 2001.