Component and agent-based FMS modeling and controller synthesis | IEEE Journals & Magazine | IEEE Xplore