The ANDECS-CACE framework A RSYST for integrated analysis and design of controlled systems | IEEE Conference Publication | IEEE Xplore