A Generalized Inference-Based Prognosis Framework for Discrete Event Systems. Issue 1 (July 2017)