Marina Gelastou Chryssis Georgiou Anna Philippou On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. 195-204 2008 NCA http://doi.ieeecomputersociety.org/10.1109/NCA.2008.24 conf/nca/2008 db/conf/nca/nca2008.html#GelastouGP08