María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16(3): 166-193 (2004)