General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool. - Toshihiro Obata; Teiichiro Inoue (MoDELS, 2008)