Kees M. van Hee Geert-Jan Houben Jan L. G. Dietz Modeling of discrete dynamic systems-framework and examples. 277-289 1989 14 Inf. Syst. 4 db/journals/is/is14.html#HeeHD89 http://dx.doi.org/10.1016/0306-4379(89)90048-3