В. Бичковський and С. Циганенко, “Logical analysis of process telecommand”, RADAP, no. 47, pp. 71-76, Dec. 2011.