Adimoolam, A. and Dang, T. (2022) “Safety Verification of Networked Control Systems by Complex Zonotopes”, Leibniz Transactions on Embedded Systems. Wadern, Germany, 8(2), pp. 01:1–01:22. doi: 10.4230/LITES.8.2.1.