Laura Bozzelli Salvatore La Torre Adriano Peron Verification of Well-Formed Communicating Recursive State Machines. 412-426 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_27 db/conf/vmcai/vmcai2006.html#BozzelliTP06