From UML statecharts to FPGA - the HiCoS approach. - Grzegorz Labiak (FDL, 2003)

Concurrent processes synchronisation in statecharts for FPGA implementation. - Grzegorz Labiak; Marian Adamski (EWDTS, 2008)

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

Detection of Possible Frozen States in Communicating UML State Machines. - Andrei Karatkevich; Grzegorz Labiak (PDeS, 2013)

Dual-model approach for safety-critical embedded systems. - Grzegorz Labiak; Marek Wegrzyn; Alfredo Rosado Muñoz; Grzegorz Bazydlo (Microprocess. Microsystems, 2020)