@InCollection{Adamski:2005,
author
=
"M.Adamski",
title
=
"Formal logic design of reprogrammable controllers",
pages
=
"15--26",
year
=
"2005",
booktitle
=
"Design of embedded control systems ISBN: 0387236309",
publisher
=
"Springer",
address
=
"New York",
}