Modeling a consistent behavior of PLC-sensors. - E. V. Kuzmin 001; D. A. Ryabukhin; Valery A. Sokolov (Autom. Control. Comput. Sci., 2014)

Construction and verification of PLC LD programs by the LTL specification. - E. V. Kuzmin 001; Valery A. Sokolov; D. A. Ryabukhin (Autom. Control. Comput. Sci., 2014)

Construction and verification of PLC-programs by LTL-specification. - E. V. Kuzmin 001; Valery A. Sokolov; D. A. Ryabukhin (Autom. Control. Comput. Sci., 2015)

On the expressiveness of the approach to constructing PLC-programs by LTL-specification. - E. V. Kuzmin 001; D. A. Ryabukhin; Valery A. Sokolov (Autom. Control. Comput. Sci., 2016)

Construction of CFC-Programs by LTL-Specification. - D. A. Ryabukhin; E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2017)