@inproceedings{inproceedings40f68c3e,
title   = {Uma metodologia para desenvolvimento de sistemas embarcados críticos com vistas a certificação},
author = {Trindade Junior, Onofre and Braga, Rosana Teresinha Vaccare and Neris, Luciano de Oliveira and Branco, Kalinka Regina Lucas Jaquie Castelo},
year = {2009},
publisher = {Sociedade Brasileira de Automática (SBA)},
booktitle   = {Simpósio Brasileiro de Automação Inteligente - SBAI}
}