@InCollection{Łabiak:2005,
author
=
"G.Łabiak",
title
=
"Symbolic state exploration of UML statecharts for hardware description",
pages
=
"73--83",
year
=
"2005",
booktitle
=
"Design of embedded control systems ISBN: 0387236309",
publisher
=
"Springer",
address
=
"New York",
}