@InCollection{Grobelna:2016,
author
=
"I.Grobelna and M.Grobelny and M.Adamski",
title
=
"Model checking of UML activity diagrams using a rule-based logical model",
pages
=
"153--163",
year
=
"2016",
booktitle
=
"Design of reconfigurable logic controllers ISBN: 9783319267234",
editor
=
"eds. A. Karatkevich, A. Bukowiec, M. Doligalski, J. Tkacz",
publisher
=
"Springer International Publishing Switzerland",
address
=
"Cham Heidelberg",
series
=
"Studies in Systems, Decision and Control, 45",
}