@misc{misc65181e5c,
title   = {Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL},
author = {Gonçalves, Felipe Almeida and Santos Filho, Diolino Jose dos and Chi, Su Yun},
year = {2009}
}