1. Safety and liveness properties: A survey;Kindler;Bulletin of the European Association for Theoretical Computer Science,1994
2. Preserving liveness: Comments on “Safety and liveness from a methodological point of view”;Abadi et al.;Information Processing Letters,1991
3. Defining liveness;Alpern;Information Processing Letters,1985
4. R. Alur, T. Henzinger, Reactive modules, in: Proceedings of the 11th IEEE Symposium on Logics in Computer Science, LICS, 1996, pp. 207–218
5. Hybrid I/O automata;Lynch;Information and Computation,2003