Séverine Colin, Franck Lebeau, Bruno Legeard: Génération de tests à partir de statecharts fondée sur le calcul de comportements. Tech. Sci. Informatiques 25(1): 103-132 (2006)