PhysiCloud: A cloud-computing framework for programming cyber-physical systems. - Paul Glotfelter; Travis Eichelberger; Patrick J. Martin (CCA, 2014)