1. Alrajeh, D.: Requirements Elaboration using Model Checking and Inductive Learning. PhD thesis, Imperial College London, London, U.K. (2010)
2. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Deriving non-zeno behaviour models from goal models using ILP. J. Form. Asp. Comput. 22, 217–241 (2010)
3. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: An inductive approach for modal transition system refinement. In: Technical Communications of the 27th Intl. Conf. on Logic Programming, pp. 106–116 (2011)
4. Clarke, E.M., Fehnker, A., Han, Z., Krogh, B.H., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. J. Found. Comput. Sci. 14(4), 583–604 (2003)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)