. "formal method, reliability, control, PLC"@en . "TU Maribor" . "IEEE ICIT 2003 Proceedings" . "RIV/00216305:26220/03:PU39109!RIV/2004/MSM/262204/N" . . "RIV/00216305:26220/03:PU39109" . . . . "607561" . "Zezulka, Franti\u0161ek" . . . "Ku\u010Dera, Pavel" . "Maribor" . "Formal Methods for Higher Reliability of the Industrial Automation"@en . "Maribor, Slovenia" . "Z(MSM 262200012)" . . . "26220" . . "Formal Methods for Higher Reliability of the Industrial Automation" . . . . "5"^^ . "2003-12-10+01:00"^^ . . "Formal Methods for Higher Reliability of the Industrial Automation"@en . . . "Article is describing possibilities how to assure higher reliability of control system."@en . "891-895" . "3"^^ . . "[F170A39229F7]" . . "3"^^ . "Formal Methods for Higher Reliability of the Industrial Automation" . "Brad\u00E1\u010D, Zden\u011Bk" . "0"^^ . "0"^^ . . "0-7803-7853-9" . "Article is describing possibilities how to assure higher reliability of control system." .