Predictive Detection of Known Security Criticalities in Cyber Physical Systems with Unobservable Variables