Ryo Sato Toward a unified theory of discrete event systems. 62-72 1995 conf/eurocast/1995 EUROCAST db/conf/eurocast/eurocast1995.html#Sato95 http://dx.doi.org/10.1007/BFb0034750