This site has been permanently archived. This is a static copy provided by the University of Southampton.

Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander Specifying Modal Systems using Event-B. (Technical report). (Unpublished)