"Model based testing of an interactive music system."

Clément Poncelet Sanchez, Florent Jacquemard (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics