ableP: an extensible specification and implementation of Promela.

Yogesh Mali and Eric Van Wyk,

Proceedings of 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), LNCS, vol. 6823, pp. 108--125, Springer Verlag, 2011.

PDF