@article{Bukowiec:2009,
author
=
"A.Bukowiec and O.Barkalov",
title
=
"Structural decomposition of finite state machines",
journal
=
"Electronics and Telecommunications Quarterly",
volume
=
"Vol. 55",
number
=
"no 2",
pages
=
"243--267",
year
=
"2009",
}