Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala. Verifying Mode Consistency for On-Board Satellite Software. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 126-141, Springer, 2010. [doi]
Abstract is missing.