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)

Security management against cloned cellular telephones. - Mirela Sechi Moretti Annoni Notare; Fernando Augosto da Silva Cruz; Bernardo Gonçalves Riso; Carlos Becker Westphall (ICON, 1999)

Wireless communications: security management against cloned cellular phones. - Mirela Sechi Moretti Annoni Notare; Fernando Augosto da Silva Cruz; Bernardo Gonçalves Riso; Carlos Becker Westphall (WCNC, 1999)