1. Principles of Cyber-Physical Systems;Alur,2020
2. Proving the correctness of multiprocess programs;Lamport;IEEE Trans. Softw. Eng.,1977
3. Ensuring liveness properties of distributed systems: open problems;van Glabbeek;J. Log. Algebraic Methods Program.,2019
4. Composition and refinement of discrete real-time systems;Ostroff;ACM Trans. Softw. Eng. Methodol.,1999
5. The economic impacts of inadequate infrastructure for software testing;Tassey,2002