Meta-programming Event-B - Advancing Tool Support and Language Extensions. - Julius Armbrüster; Philipp Körner (ABZ, 2024)