Reasoning Under Uncertainty in Cyber-Physical Systems: Toward Efficient and Secure Operation