A Methodology of Specification and Implementation of Distributed Discrete Control Systems | IEEE Journals & Magazine | IEEE Xplore