1. Alpern, B. and Schneider, F.B., Defining liveness, Inf. Process. Lett., 1985, vol. 21, no. 4, pp. 181–185.
2. Khoroshilov, A., On formalization of operating systems behaviour verification, Proc. 11th Int. Conf. Computer Science and Information Technologies (CSIT), 2017, pp. 168–172.
3. Kulyamin, V.V., Pakulin, N.V., Petrenko, O.L., Sortov, A.A., and Khoroshilov, A.V., Formalization of requirements in practice, Preprint Inst. Syst. Program., Russ. Acad. Sci., Moscow, 2006.
4. He, J., Hoare, C.A.R., and Sanders, J.W., Data refinement refined, Lect. Notes Comput. Sci., 1986, vol. 213, pp. 187–196.
5. Abrial, J.R., Cansell, D., Méry, D., Refinement and reachability in Event-B, Lect. Notes Comput. Sci., 2005, vol. 3455, pp. 222–241.