Shaokai Lin Publication VSTTE'23 Provable Determinism for Software in Cyber-Physical Systems Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens