Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case. - Miriam C. Bergue Alves; Cynthia Feitosa Leal (CE, 2012)