@article{DBLP:journals/scp/DonaldsonG10,
author = {Alastair F. Donaldson and
Simon J. Gay},
title = {Type inference and strong static type checking for {Promela}},
journal = {Sci. Comput. Program.},
volume = {75},
number = {11},
pages = {1165-1191},
year = {2010},
doi = {10.1016/J.SCICO.2010.05.010},
}