"77","Event-B Models BepiColombo pilot (by SSF)","","http://deploy-eprints.ecs.soton.ac.uk/77/","Ilic, Dubravka and Varpaaniemi, Kimmo","UNSPECIFIED","       <span class=\"person_name\">Ilic, Dubravka</span> and <span class=\"person_name\">Varpaaniemi, Kimmo</span>       <a href=\"http://deploy-eprints.ecs.soton.ac.uk/77/\"><em>Event-B Models BepiColombo pilot (by SSF).</em></a>       [Rodin Archive]           ","",""