Adimoolam, A., and T. Dang. “Safety Verification of Networked Control Systems by Complex Zonotopes”. Leibniz Transactions on Embedded Systems, vol. 8, no. 2, Dec. 2022, pp. 01:1-01:22, doi:10.4230/LITES.8.2.1.