Role of UML Modelling in Discrete Controller Design. - Grzegorz Labiak; Marian Adamski; Jacek Tkacz; Michal Doligalski; Arkadiusz Bukowiec (ICSEng, 2011)

Logic design of structured configurable controllers. - Jacek Tkacz; Marian Adamski (NESEA, 2012)

Formal reasoning in logic design of reconfigurable controllers. - Marian Adamski; Jacek Tkacz (PDeS, 2012)

Dual synthesis of Petri net based dependable logic controllers for safety critical systems. - Arkadiusz Bukowiec; Jacek Tkacz; Marian Adamski; Remigiusz Wisniewski (HSI, 2014)