Learning the alarm component in the Dezyne Alarm example project.

Current repository contains a java 8 eclipse project to learn the Dezyne alarm component using a learning purpose with the LearnLib tool.

In report/report.pdf is a report describes a set of learning experiments done on the Dezyne Alarm example project.