@inproceedings{RCMS12,
	Author = {Camilo Rocha and H{\'{e}}ctor Cadavid and C{\'{e}}sar Mu{\~{n}}oz and Radu Siminiceanu},
	Booktitle = {Proceedings of 9th International Conference on Integrated Formal Methods (iFM 2012)},
	Month = {June},
	Title = {A Formal Interactive Verification Environment for the Plan Execution Interchange Language},
        Address = {Pisa, Italy},
        series = "Lecture Notes in Computer Science",        
        editor = "Diego Latella and Helen Treharne",
        volume = "7321",
        pages = "343--357",
        year = "2012",
        publisher = "Springer",
}