Reference:

Rene Neumann. Promela formalization. Archive of Formal Proofs, May 2014. Formal proof development.

Suggested BibTeX entry:

@article{Promela-AFP,
    author = {Rene Neumann},
    journal = {Archive of Formal Proofs},
    month = {May},
    note = {Formal proof development},
    title = {Promela Formalization},
    year = {2014}
}