Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. - Ana R. Cavalli; Patrick Maigron; Sung Un Kim (Protocol Test Systems, 1992)

Improving Conformance Testing for LOTOS. - Ana R. Cavalli; Sung Un Kim; Patrick Maigron (FORTE, 1993)