Aleksander Vreze, Bostjan Vlaovic, Zmago Brezocnik. Sdl2pml - Tool for automated generation of Promela model from SDL specification. Computer Standards & Interfaces, 31(4):779-786, 2009. [doi]
@article{VrezeVB09, title = {Sdl2pml - Tool for automated generation of Promela model from SDL specification}, author = {Aleksander Vreze and Bostjan Vlaovic and Zmago Brezocnik}, year = {2009}, doi = {10.1016/j.csi.2008.09.005}, url = {http://dx.doi.org/10.1016/j.csi.2008.09.005}, researchr = {https://researchr.org/publication/VrezeVB09}, cites = {0}, citedby = {0}, journal = {Computer Standards & Interfaces}, volume = {31}, number = {4}, pages = {779-786}, }