selected publications academic article Smart architecture for highly available, robust and autonomous satellite. IFAC Proceedings Volumes. 2011