@book{Barkalov:2009,
author
=
"O.Barkalov and L.Titarenko",
title
=
"Logic synthesis for FSM-based control units, ISBN: 9783642043086",
publisher
=
"Springer-Verlag",
address
=
"Berlin",
series
=
"Lecture Notes in Electrical Engineering, Vol. 53",
year
=
"2009",
pages
=
"233",
}