FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.

Jean-Charles Chaudemar Charles Castel Christel Seguin FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. 358 2008 ABZ http://dx.doi.org/10.1007/978-3-540-87603-8_45 conf/asm/2008 db/conf/asm/abz2008.html#ChaudemarCS08