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.

has been cited by the following article:

• TITLE: CARDIOGUI: An Interface Guide to Simulate Cardiovascular Respiratory System during Physical Activity

  AUTHORS: Jean Marie Ntaganda, Benjamin Mampassi

  KEYWORDS: Graphical User Interface; Arterial Oxygen Pressure; Arterial Dioxide Pressure; Cardiovascular/Respiratory System; Optimal Control Problem; Numerical Simulation; Physical Activity

  JOURNAL NAME: Applied Mathematics, Vol.3 No.12, December 24, 2012

  ABSTRACT: This paper aims at the presentation of an interface to simulate cardiovascular respiratory system. The authors are interested in the resolution of optimal control problem related to the performance of a 30 years old woman. The results show in the most case the determinant parameters of cardiovascular respiratory system reach the equilibrium value due to its controls that is heart rate and alveolar ventilation.