Embedded specification language & model checker in Haskell - View it on GitHub