Бичковський, В.; Циганенко, С. Logical Analysis of Process Telecommand. RADAP 2011, 71-76.