@inproceedings{GM09FMICS,
        author =  "Alwyn Goodloe and C{\'e}sar Mu{\~{n}}oz",
        title = "Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle",
        booktitle = "Proceedings of the 14th International Workshop
                     Formal Methods for Industrial Critical Systems",
        series = "Lecture Notes in Computer Science",
        volume = "5825",
        pages = "86--101",
        year = "2009",
        month = "November",
        publisher = "Springer",
        address="Eindhoven, The Netherlands"
}