Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. - Michal Grobelny; Iwona Grobelna; Marian Adamski (PDeS, 2012)

Model Checking of UML Activity Diagrams in Logic Controllers Design. - Iwona Grobelna; Michal Grobelny; Marian Adamski (DepCoS-RELCOMEX, 2014)

Decomposition, validation and documentation of control process specification in form of a Petri net. - Iwona Grobelna; Monika Wisniewska; Remigiusz Wisniewski; Michal Grobelny; Piotr Mroz (HSI, 2014)

Logic controller design system supporting UML activity diagrams. - Michal Grobelny; Iwona Grobelna (MIXDES, 2015)

Design and Verification of Real-Life Processes With Application of Petri Nets. - Iwona Grobelna; Remigiusz Wisniewski; Michal Grobelny; Monika Wisniewska (IEEE Trans. Syst. Man Cybern. Syst., 2017)