On spatial modeling of discrete event systems using point-interval logic | IEEE Conference Publication | IEEE Xplore