Promela

Useful links:
* http://spinroot.com/spin/Man/promela.html
* http://en.wikipedia.org/wiki/Promela