Model-driven functional testing of cyber-physical systems using deterministic replay techniques | IEEE Conference Publication | IEEE Xplore