Corrections to "Finite buffer realization of input-output discrete event systems" | IEEE Journals & Magazine | IEEE Xplore