Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi: Verifiable Code Generation from Scheduled Event-B Models. ABZ 2018: 234-248