@inproceedings{SBM09MOCHART,
	Author = {Radu Siminiceanu and Ricky Butler and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 5th Workshop on Model Checking and Artificial Intelligence ({MoChart})},
	Editor = {Springer},
	Keywords = {Planning, Model Checking},
	Pages = {132--146},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {Experimental Evaluation of a Planning Language Suitable for Formal Verification},
	Volume = {5348},
	Year = {2009}}