Incremental design of distributed control systems using GAIA-UML | IEEE Conference Publication | IEEE Xplore