Modeling UML object event handling with Petri nets. - Wojciech Szmuc; Tomasz Szmuc (MIXDES, 2016)

Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets. - Wojciech Szmuc; Tomasz Szmuc (MIXDES, 2018)

Consistency Preserving Development of Embedded Systems Using AADL. - Tomasz Szmuc; Wojciech Szmuc (MIXDES, 2020)

Rigorous Development of Embedded Systems Supported by Formal Tools. - Tomasz Szmuc; Wojciech Szmuc (MIXDES, 2020)