Problem decomposition and sub-model reconciliation of control systems in Event-B.

Sanaz Yeganefard, Michael J. Butler

Browse the full IRI paper archive.