Automated generation of Promela model from SDL specification. - Bostjan Vlaovic; Aleksander Vreze; Zmago Brezocnik; Tatjana Kapus (Comput. Stand. Interfaces, 2007)

Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation. - Tim Kovse; Bostjan Vlaovic; Aleksander Vreze; Zmago Brezocnik (SPIN, 2009)

Sdl2pml - Tool for automated generation of Promela model from SDL specification. - Aleksander Vreze; Bostjan Vlaovic; Zmago Brezocnik (Comput. Stand. Interfaces, 2009)

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. - Zmago Brezocnik; Bostjan Vlaovic; Aleksander Vreze (SPIN, 2014)

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin. - Bostjan Vlaovic; Aleksander Vreze; Zmago Brezocnik (IEEE Access, 2017)