"Formal Validation of Java/Swing User Interfaces with the Event B Method."

Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics