Marie-Claude Gaudel Testing from Formal Specifications, a Generic Approach. 35-48 2001 conf/adaEurope/2001 Ada-Europe http://link.springer.de/link/service/series/0558/bibs/2043/20430035.htm db/conf/adaEurope/adaEurope2001.html#Gaudel01