Tim Kovše, Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, "Eclipse plug-in for spin and st2msc tools-tool presentation",Lect. notes comput. sci., vol. 5578, pages 143-147, 2009. [COBISS.SI-ID13289750, bibtex, pdf].
Aleksander Vreže, Boštjan Vlaovič, Zmago Brezočnik, "Sdl2pml - tool for automated generation of Promela model from SDL specification",Comput. stand. interfaces, vol. 31, iss. 4, str. 779-786, June 2009, doi:10.1016/j.csi.2008.09.005. [COBISS.SI-ID13208086, bibtex, pdf]
Tim Kovše, Boštjan Vlaovič, Aleksander Vreže in Zmago Brezočnik, "Spin Trail to Message Sequence Chart Conversion Tool". The 10th International Conference on Telecomunications, 2009, Zagreb, Croatia. [COBISS.SI-ID11273750, bibtex, pdf].
Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus, "Automated Generation of Promela Model from SDL Specification", Computer Standards & Interfaces, 2007, iss. 4, vol. 29, pages 449-461. [COBISS.SI-ID11273750, bibtex, pdf].
Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik, Tatjana Kapus, "Toward automatic generation of Promela models from SDL specification", 8th International Conference on Telecommunications, Zagreb, Croatia, 2005. [COBISS.SI-ID 9627414, bibtex, pdf].
