Control of distributed mechatronic systems - a transition logic-based approach. - A.-C. Huang (Int. J. Comput. Appl. Technol., 2003)