Testability of Formal Specifications. - Stan P. van de Burgt; Jan Kroon; A. M. Peeters (PSTV, 1992)

Interactive Test Generation from LOTOS Specifications. - Stan P. van de Burgt; Jan Kroon; A. M. Peeters (Protocol Test Systems, 1992)