1. Andersen HR (1995) Partial model checking. In: Proceedings of the 10th annual IEEE symposium on logic in computer science LICS (San Diego, California, USA). IEEE Computer Society Press, pp 398–407
2. Bolze R, Cappello F, Caron E, Daydé Michel J, Desprez F, Jeannot E, Jégou Y, Lanteri S, Leduc J, Melab N, Mornet G, Namyst R, Primet P, Quétier B, Richard O, Talbi E-G, Touche I (2006) Grid’5000: a large scale and highly reconfigurable experimental grid testbed. IJHPCA 20(4):481–494
3. Brzozowski Janusz A (1964) Derivatives of regular expressions. J Assoc Comput Mach 11(4):481–494
4. Champelovier D, Clerc X, Garavel H, Guerte Y, McKinty C, Powazny V, Lang F, Serwe W, Smeding G (2017) Reference manual of the LNT to LOTOS translator (version 6.7). INRIA, Grenoble
5. Cheung SC, Kramer J (1993) Enhancing compositional reachability analysis with context constraints. In: Proceedings of the 1st ACM SIGSOFT international symposium on the foundations of software engineering (Los Angeles, CA, USA). ACM Press, pp 115–125