"Translating event-B to JML-specified Java programs."

Víctor Rivera, Néstor Cataño (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics