@mastersthesis{mastersthesis339dc2c4,
title   = {Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais},
author = {Polido, Marcelo Figueiredo and Maruyama, Newton},
year = {2007},
school = {Universidade de São Paulo}
}