@article{Barkalov:2009,
author
=
"O.Barkalov and A.Bukowiec",
title
=
"Synthesis of mealy FSM on verticalized flow-chart",
journal
=
"Radioelektronika i Informatika",
number
=
"no 2",
pages
=
"49--52",
year
=
"2005",
}