The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala

Browse the full SAFECOMP paper archive.