Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX.99 - Jianping Wu, Samuel T. Chanson, Qiang Gao ((IFIP Advances in Information and Communication Technology))