"134","Specifying Modal Systems using Event-B","Several safety-critical systems, such as avionic, transportation and space systems, use the notion of operation modes. Operation modes are useful structuring units that facilitate design, specially if used with state-based formal methods. However, modelling abstractions to support the specification, analysis and correct construction of modal systems are still lacking. The contribution of this paper is twofold: (i) modal systems and modal systems refinement are discussed and formalized; (ii) the relation of a modal system specification with an Event-B model is discussed, showing how to demonstrate that the behaviour of an Event-B model can satisfy a modal system.","http://deploy-eprints.ecs.soton.ac.uk/134/","Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander","UNSPECIFIED","       <span class=\"person_name\">Dotti, Fernando</span> and <span class=\"person_name\">Iliasov, Alexei</span> and <span class=\"person_name\">Romanovsky, Alexander</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/134/\"><em>Specifying Modal Systems using Event-B.</em></a>       (Technical report).         (Unpublished)   ","Fernando Luis Dotti <fernando.dotti@pucrs.br>,\"Alexei Iliasov\" <Alexei.Iliasov@newcastle.ac.uk>,alexander.romanovsky@ncl.ac.uk",""