I. Burdonov, A. Kosachev, V. Kulyamin Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions MBT 2006. Second Workshop on Model Based Testing. March 25–26, 2006. Vienna, Austria. Satellite workshop of ETAPS 2006 33 слайда ppt, Доклад