A Comparison of the PRISM and OMNI-Point Methodologies for the Specification of Management Systems. - Dolores Sullivan; Patrick McLaughlin (IS&N, 1994)