1. Conjoining specifications;Abadi;ACM Trans. Program. Lang. Syst.,1995
2. Verification of hybrid systems: formalization and proof rules in PVS;Ábrahám-Mumm,2001
3. Modeling in Event-B: System and Software Engineering;Abrial,2010
4. Defining liveness;Alpern;Inf. Process. Lett.,1985
5. The algorithmic analysis of hybrid systems;Alur;Theor. Comput. Sci.,1995