@mastersthesis{mastersthesisecf6c7c5, title = {Uma formalização do processo de design baseado em metáforas: sua aplicação na automatização de sistemas de eventos discretos}, author = {Silva, José Reinaldo and Lucena, Carlos Jose Pereira de}, year = {1992}, school = {Universidade de São Paulo} }