Systems Research for Cyber-Physical Systems