Reinhard Gotzhein Jan Bredereke Trends in Formal Description Techniques. 863-864 1998 30 Computer Networks 9-10 db/journals/cn/cn30.html#GotzheinB98 http://dx.doi.org/10.1016/S0169-7552(97)00131-1