Discrete event dataflow as a formal approach to specification of industrial vision systems | IEEE Conference Publication | IEEE Xplore