N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus et al., Verification of PLC Programs Given as Sequential Function Charts, Lecture Notes in Computer Science, vol.3147, pp.517-540, 2004.
DOI : 10.1007/978-3-540-27863-4_28

L. Baum and G. Sell, Growth transformations for functions on manifolds, Pacific Journal of Mathematics, vol.27, issue.2, pp.211-227, 1968.
DOI : 10.2140/pjm.1968.27.211

G. Canet, S. Couffin, J. J. Lesage, A. Petit, and P. Schnoebelen, Towards the automatic verification of PLC programs written in Instruction List, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2449-2454, 2000.
DOI : 10.1109/ICSMC.2000.884359

A. Dempster, N. Laird, and D. Rubin, Maximum likelihood from incomplete data via the EM algorithm, Journal of the Royal Statistical Society. Series B (Methodological), vol.39, issue.1, pp.1-38, 1977.

Y. Ephraim, A. Dembo, and L. Rabiner, A minimum discrimination information approach for hidden Markov modeling, IEEE Transactions on Information Theory, vol.35, issue.5, pp.1001-1013, 2002.
DOI : 10.1109/18.42209

G. Frey and L. Litz, Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2431-2436, 2000.
DOI : 10.1109/ICSMC.2000.884356

H. M. Hanisch, J. Thieme, A. Luder, and O. Wienhold, Modeling of PLC behaviour by means of timed net condition/event systems, In: IEEE Int. Symp. Emerging Technologies and Factory Automation, pp.361-369, 1997.

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems
DOI : 10.1007/11691372_29

T. L. Johnson, Improving automation software dependability: A role for formal methods?, Control Engineering Practice, vol.15, issue.11, pp.1403-1415, 2007.
DOI : 10.1016/j.conengprac.2006.07.005

S. Levinson, L. Rabiner, and M. Sondhi, An Introduction to the Application of the Theory of Probabilistic Functions of a Markov Process to Automatic Speech Recognition, Bell System Technical Journal, vol.62, issue.4, pp.1035-1074, 1983.
DOI : 10.1002/j.1538-7305.1983.tb03114.x

L. Rabiner, A tutorial on hidden Markov models and selected applications in speech recognition, Proceedings of the IEEE, vol.77, issue.2, pp.257-286, 1989.
DOI : 10.1109/5.18626

M. Rausch and B. H. Krogh, Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), 1998.
DOI : 10.1109/ACC.1998.694666

K. Venkatesh, M. Zhou, and R. J. Caudill, Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system, IEEE Transactions on Industrial Electronics, vol.41, issue.6, pp.611-619, 1994.
DOI : 10.1109/41.334578

M. B. Younis and G. Frey, Formalization of existing PLC programs: A survey, Proc. Computational Engineering in Systems Applications (CESA), 2003.

H. Zhang, Y. Jiang, W. N. Hung, G. Yang, and M. Gu, On the uncertainty characterization of programmable logic controllers, 2011.