https://filesoo.com/product/82840/diagnosability-security-and-safety-of-hybrid-dynamic-and-cyber-physical-systems