A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Víctor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda. "Code generation for Event-B." International Journal on Software Tools for Technology Transfer (STTT) 19.1 (2015) 31-52