Formal Specification and Testing of a Management Architecture. - G. P. A. Fernandes; John Derrick (Integrated Network Management, 1997)