Automatic design evaluation and refinement using the blackboard model of control | IEEE Conference Publication | IEEE Xplore