Britov, G., Lupal, A.: Probability analysis of IDEF3 models states of technological processes. Information and Control Systems(5), 21-24 (2009)