A component based approach for the design of FMS control and supervision | IEEE Conference Publication | IEEE Xplore