"Towards a Tool Environment for Model-Based Testing with AsmL."

Michael Barnett et al. (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics