Compositional Test Generation of Industrial Synchronous Systems. - Daisuke Ishii; Takashi Tomita; Kenji Onishi; Toshiaki Aoki (CoRR, 2021)