Adimoolam, A.; Dang, T. Safety Verification of Networked Control Systems by Complex Zonotopes. LITES 2022, 8, 01:1-01:22.