Alberto Pettorossi Maurizio Proietti Valerio Senni Transformational Verification of Parameterized Protocols Using Array Formulas. 23-43 2005 conf/lopstr/2005 LOPSTR http://dx.doi.org/10.1007/11680093_3 db/conf/lopstr/lopstr2005.html#PettorossiPS05