Angelika Franzke Birgit Frohnhoff Formalizing GDMO Action and Notification Definitions --- Results from a Case Study. 1998 6 J. Network Syst. Manage. 3 http://www.cstp.umkc.edu/jnsm/vols/vol06_abs/06-3-franzke.html db/journals/jnsm/jnsm6.html#FranzkeF98