Um processo de modelação de sistemas software com integração de especificações rigorosas - Ribeiro, António Nestor (2008)