High-Assurance Control of Networked Control Systems (NCS)