Guillemot, R., Haj-Hussein, M., and Logrippo, L. Executing Large LOTOS Specifications. In: Aggarwal. S., and Sabnani, K. (eds.) Protocol Specification, Testing, and Verification VII, North- Holland, 1988, 399-410.

Languages mentioned

• LOTOS {1989} Specification language based on temporal ordering