Software testing based on formal specification: a theory and a tool. Softw Eng J 6:387–405 (1991)

by G Bernot, Gaudel MC, B Marre