An abstraction layer for controlling heterogeneous mobile cyber-physical systems. - Trevor Hanz; Mina Guirguis (CASE, 2013)