Debayan Roy, Licong Zhang, Wanli Chang, Samarjit Chakraborty. Automated synthesis of cyber-physical systems from joint controller/architecture specifications. In Rolf Drechsler, Robert Wille, editors, 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.