Karsten Becker David Holden Specifying the Dynamic Behavior of Management Systems. 1993 1 J. Network Syst. Manage. 3 http://www.cstp.umkc.edu/jnsm/vols/vol01_abs/01-3-becker.html db/journals/jnsm/jnsm1.html#BeckerH93