"EventB2Java: A Code Generator for Event-B."

Néstor Cataño, Victor Rivera (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics