The model:
  minepumpcleanLTL.pml

can be verified with the SPIN tool, downloadable from the URL:

    http://spinroot.com/
    
    