Automated specification-based testing of interactive components with asmL