Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge. - Kazunori Someya; Toshiaki Aoki; Naoki Ishihama (ENASE, 2023)