@inproceedings{SBM09MOCHART,
 author    = {R. Siminiceanu and
              R. Butler and
              C. Mu{\~{n}}oz},
 title     = {Experimental Evaluation of a Planning Language Suitable for Formal Verification},
 booktitle = {Proceedings of the 5th Workshop on Model Checking and Artificial Intelligence ({MoChart})},
 publisher = "Springer",
 series    = "Lecture Notes in Computer Science",
 volume    = {5348},
 year      = {2009},
 pages     = {132--146},
}