COMPUTING SCIENCE Developing Mode-Rich Satellite Software by Refinement in Event B Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic and Timo Latvala TECHNICAL REPORT SERIES No. CS-TR-1207 June, 2010