" Formal methods for protocol engineering and distributed systems : " edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.