Puneet Bhateja: A theoretical framework for testing cyber-physical systems. CoDIT 2019: 818-823