@inproceedings{SBM08MOCHART,
        author = "R. Siminiceanu and Rick Butler and C. Mu{\~{n}}oz",
        title = "Experimental Evaluation of a Planning Language Suitable for Formal Verification",
        booktitle = "Proceedings of the 5th International Workshop on Model Checking and Artificial Intelligence",
        address = "Patras, Greece",
        year = "2008"
}