@InProceedings{PontesVillAmbr:2010:MoVeFo,
               author = "Pontes, Rodrigo Pastl and Villani, Em{\'{\i}}lia and Ambrosio, 
                         Ana Maria",
          affiliation = "Departamento de Engenharia Mec{\^a}nica, Instituto 
                         Tecnol{\'o}gico de Aeron{\'a}utica - ITA and Departamento de 
                         Engenharia Mec{\^a}nica, Instituto Tecnol{\'o}gico de 
                         Aeron{\'a}utica - ITA and {Instituto Nacional de Pesquisas 
                         Espaciais (INPE)}",
                title = "Modelagem e Verifica{\c{c}}{\~a}o Formal de Software Embarcado 
                         Espacial Segundo a Norma PUS",
            booktitle = "Anais...",
                 year = "2010",
         organization = "Congresso Brasileiro de Autom{\'a}tica, 18. (CBA 2010).",
  conference-location = "Bonito",
      conference-year = "2010",
                label = "lattes: 6217509029802638 3 PontesVillAmbr:2010:MoVeFo",
             language = "pt",
           targetfile = "Pontes_Modelagem.pdf",
        urlaccessdate = "12 maio 2024"
}