Automatic generation of PROMELA code from sequence diagram with imbricate combined fragments | IEEE Conference Publication | IEEE Xplore