Mathematical Model and Method for Diagnosing the Operability of Information and Control Systems | IEEE Conference Publication | IEEE Xplore