@misc{indiciae53eb0be615d2, title = {MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems}, author = {Wang Yi and Chengzi Huang and Behnam Khodabandeloo and Duc Anh Nguyen}, year = {2026}, doi = {10.1145/3832783.3834624}, url = {https://arxiv.org/abs/2610.27826}, note = {Source identifier: 2610.27826} }