1. Blair G, Blair L, Bowman H, Chetwynd A (1998) Formal Specification of Distributed Multimedia Systems. UCL Press, London
2. Bolognesi T, Brinksma E (1988) Introduction to the ISO specification language Lotos. Comput Netw 14(1):25–59
3. Brinksma E (1988) A theory for the derivation of tests. In: Aggarwal S, Sabnani KK (eds) Proc. Protocol Specification, Testing and Verification VIII, June 1988. North-Holland, Amsterdam
4. Calder M, Shankland CE (2001) A symbolic semantics and bisimulation for full Lotos. In: Kim M, Chin B, Kang S, Lee D (eds) Proc. Formal Techniques for Networked and Distributed Systems (FORTE XIV), September 2001. Kluwer, London, pp 184–200
5. Chehaibar G, Garavel H, Mounier L, Tawbi N, Zulian F (1996) Specification and verification of the PowerScale bus arbitration protocol: an industrial experiment with Lotos. Technical Report 2958, INRIA, 78153 Le Chesnay Cedex, France