Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala. Developing mode-rich satellite software by refinement in Event-B. Science of Computer Programming, 78(7):884-905, 2013. [doi]
Abstract is missing.