A. M. Memon, M. E. Pollack and M. L. Soffa, “Using a Goal-Driven Approach to Generate Test Cases for GUIs,” Proceedings of the 21st International Conference on Software Engineering, Los Angeles, 16-22 May 1999, pp. 257-266. doi:10.1145/302405.302632
 A. C. R. Paiva, et al., “A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing,” Proceedings of the 7th international conference on Formal Methods and Software Engineering, Manchester, 1-4 November 2005, pp. 450-464.
 J. M. Ntaganda, B. Mampassi and D. Seck, “Modelling Blood Partial Pressures of the Human Cardiovascular/ Respiratory System,” Applied Mathematics and Computation, Vol. 187, No. 2, 2007, pp. 1100-1108. doi:10.1016/j.amc.2006.09.016