1. Static analysis techniques for embedded, cyber-physical, and electronic software systems: a comprehensive survey