Physically informed assertions for cyber physical systems development and debugging | IEEE Conference Publication | IEEE Xplore