Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala. The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 29-43, Springer, 2015. [doi]
Abstract is missing.