"213","An Event-B model of the Attitude and Orbit Control System","","http://deploy-eprints.ecs.soton.ac.uk/213/","Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena","UNSPECIFIED","       <span class=\"person_name\">Iliasov, Alexei</span> and <span class=\"person_name\">Laibinis, Linas</span> and <span class=\"person_name\">Troubitsyna, Elena</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/213/\"><em>An Event-B model of the Attitude and Orbit Control System.</em></a>       [Rodin Archive]           ","\"Alexei Iliasov\" <Alexei.Iliasov@newcastle.ac.uk>,Linas.Laibinis@abo.fi,Elena.Troubitsyna@abo.fi","2010"