doi dblp Formalizing and verifying protocol refinements Scott N. Gerard | Munindar P. Singh 2013 Volume 4 Issue 2