Matej Dolenc (2018) Reversible binary to Gray code QCA converter. MSc thesis.
Matej Dolenc (2015) Verification of communication protocols with coloured Petri nets. EngD thesis.