"Automated Specification-based Testing of Interactive Components with AsmL."

Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics