Toward automatic generation of promela models from SDL specification | IEEE Conference Publication | IEEE Xplore