1. Piven, V.A., Romanenko, A.V., Shepel, V.V., et al.: Investigation of the influence of the variability of the qualitative parameters of ore pit flows on the efficiency of iron ore enrichment. J. Metall. Min. Ind. (2), 64–68 (2007) (in Russian)
2. Lecture Notes in Computer Science;CJ Fidge,1998
3. Chen, C., Dong, J.S., Sun, J.A.: Verification System for Timed Interval Calculus (2007).
http://www.comp.nus.edu.sg/~chenchun/TIC2PVS
4. Karpov, Y.G.: Model Checking. Verification of Parallel and Distributed Software Systems, 560 p. BHV-Petersburg, Saint Petersburg (2010). (in Russian)
5. Ore-controlling station RKS-KM.
http://www.technoros-kras.ru/products/13/36/