Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. - Grégory Lestiennes; Marie-Claude Gaudel (ISSRE, 2002)