Formal design of a telecommunications networks management system. - Mirela Sechi Moretti Annoni Notare; Bernardo Gonçalves Riso; Paulo Sérgio Lorena; Manoel Camillo de Oliveira Penna Neto; Carlos Becker Westphall (ISCC, 1997)