Safety Verification of Networked Control Systems by Complex Zonotopes (Leibniz Transactions on Embedded Systems, 2022)