On spatial modeling of discrete event systems using point-interval logic. - Abbas K. Zaidi; Kasim H. Rizvi; S. Sajjad Hussain (SMC, 2003)