Fortifying Cyber-Physical Systems through Comprehensive Bug-finding and Mitigation