Eliane Martins - Instituto de Computação - UNICAMP Estudo de caso Sistema de elevador Criação: mar/2011.