Cremona, Fabio
Lohstroh, Marten
Broman, David
Lee, Edward A.
Masin, Michael
Tripakis, Stavros
Funding for this research was provided by:
Center for Hybrid and Embedded Software Systems
National Science Foundation (1329759, 1446619)
STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA
Swedish Research Council (623-2013-8591)
iCyPhy Research Center
Article History
Received: 29 February 2016
Revised: 21 December 2016
Accepted: 1 November 2017
First Online: 21 November 2017