Heng Kuang, Olga Ormandjieva, Stan Klasa, Jamal Bentahar. A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework. In François Charot, Frank Hannig, Jürgen Teich, Christophe Wolinski, editors, 21st IEEE International Conference on Application-specific Systems Architectures and Processors, ASAP 2010, Rennes, France, 7-9 July 2010. pages 99-106, IEEE, 2010. [doi]
Abstract is missing.