Model representation and cooperative coevolution for finite-state machine evolution | IEEE Conference Publication | IEEE Xplore