Reineke, Jan
Stergiou, Christos
Tripakis, Stavros
Funding for this research was provided by:
National Science Foundation
Deutsche Forschungsgemeinschaft
iCyPhy (Industrial Cyber-Physical Systems) Research Center
Academy of Finland
Article History
Received: 24 February 2016
Revised: 22 December 2016
Accepted: 14 November 2017
First Online: 13 December 2017