A formal approach to deriving factored evolutionary algorithm architectures | IEEE Conference Publication | IEEE Xplore