Automated synthesis of cyber-physical systems from joint controller/architecture specifications | IEEE Conference Publication | IEEE Xplore