Formal Development and Assessment of a Reconfigurable On-board Satellite System. - Anton Tarasyuk; Inna Pereverzeva; Elena Troubitsyna; Timo Latvala; Laura Nummila (SAFECOMP, 2012)