TY JOUR TI Consistency principle tasks of the DIAGNOSTIC AUTOMATION SYSTEMS Fire Department KW automated control system KW verification KW synthesis KW principle of a systematic approach KW structuring JO Scientific and analytical journal «Vestnik Saint-Petersburg university of State fire service of EMERCOM of Russia» AU Prorok, V.Y. AU Smirnov, A.S. PY 2013 IS 2013 PB Saint-Petersburg University of State Fire Service of Emercom of Russia