Cláudio Naoto Fuzitaki Paulo Blauth Menezes Júlio Henrique Araújo Pereira Machado A Protocol Checker for Nautilus Language. 1336-1344 2004 conf/pdpta/2004-3 PDPTA db/conf/pdpta/pdpta2004-3.html#FuzitakiMM04