Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers. - Jialong Li 001; Wallace Manzano; Takuto Yamauchi; Nobuhiro Matsuyama; Elisa Yumi Nakagawa; Kenji Tei (SESoS, 2024)