1. R.C. Cam and S.T. Vuong. A formal specification, in LOTOS, of a simplified cellular mobile communication system. In Proc. 2nd International Conference on Formal Description Techniques, 1989.
2. R. Duke, G. Rose, and A. Lee. Object-oriented protocol specification. In Proc. Protocol Specification, Testing, and Verification X, 1990.
3. P. Ernberg, L. Fredlund, and B. Jonsson. Specification and validation of a simple overtaking protocol using LOTOS. In Proc. 4th International Conference on Formal Description Techniques, 1991.
4. Aldébaran: A tool for verification of communicating processes;Fernandez,1989
5. L. Fredlund and F. Orava. Modeling dynamic communication structures in LOTOS. Technical report, Swedish Institute of Computer Science. In preparation.