Promela
Module for creating Promela processes and models as OCaml data structures.