área de pesquisa Lenardo Chaves e Silva Uma abordagem baseada em modelos para suporte à validação de sistemas médicos físico-cibernéticos.