@inproceedings{inproceedings2eb20b03,
title   = {Employing discrete controller synthesis for developing systems-of-systems controllers},
author = {Li, Jialong and Manzano, Wallace Alves Esteves and Yamauchi, Takuto and Matsuyama, Nobuhiro and Nakagawa, Elisa Yumi and Tei, Kenji},
year = {2024},
doi = {10.1145/3643655.3643875},
publisher = {ACM},
booktitle   = {International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS}
}