Ferreira M, Oliveira JN.? 2009.??An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF - 12th Brazilian Symposium on Formal Methods. 5902:153-169.