Prolog to this special section: Progress in space microelectronics | BIAI Journals & Magazine | IEEE Xplore