Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems | IEEE Journals & Magazine | IEEE Xplore