ADIMOOLAM, A.; DANG, T. Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 8, n. 2, p. 01:1–01:22, 2022. DOI: 10.4230/LITES.8.2.1. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a001. Acesso em: 8 feb. 2023.