Dalvandi, M.; Butler, M.; Rezazadeh, A. Transforming Event-B Models to Dafny Contracts. eceasst 2015, 72.