Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis - Varadarajan, S; Bloomfield, R; Rushby, J; Gupta, G; Murugesan, A; Stroud, R; Netkachova, K; Wong, IH; Arias, J (Lecture Notes In Computer Science, 2024)