J. A. Bubenko, Challenges in requirements engineering, Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp.160-162, 1995.

J. Mcdermid, Software Engineer's Reference Book, 1991.

R. Lutz, Analyzing software requirements errors in safety-critical, embedded systems, Proceedings of IEEE International Symposium on Requirements Engineering, pp.126-133, 1993.

A. M. Davis, Operational prototyping: a new development approach, IEEE Softw, vol.9, pp.70-78, 1992.

J. Goguen and J. Meseguer, Rapid prototyping: in the obj executable specification language, SIGSOFT Softw. Eng. Notes, vol.7, pp.75-84, 1982.

S. Fickas and M. S. Feather, Requirements monitoring in dynamic environments, Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp.140-147, 1995.

N. Noda and T. Kishi, Aspect-oriented modeling for embedded software design, 14th Asia-Pacific Software Engineering Conference, pp.342-349, 2007.

G. Karsai, S. Neema, and D. Sharp, Model-driven architecture for embedded software: a synopsis and an example, Sci. Comput. Program, vol.73, issue.1, pp.26-38, 2008.

K. Choi, S. Jung, H. Kim, D. Hwan-bae, . Mittal et al., Uml-based modeling and simulation method for mission-critical real-time embedded, System Development, IASTED Conference on Software Engineering, pp.160-165, 2006.

C. Kreiner, C. Steger, and R. Weiss, Improvement of control software for automatic logistic systems using executable environment models, Proceedings of 24th Euromicro Conference, vol.2, pp.919-923, 1998.

M. Auguston, J. B. Michael, and M. T. Shing, Environment behavior models for automation of testing and assessment of system safety, Advances in Model-based Testing, vol.48, pp.971-980, 2006.

M. Heisel, D. Hatebur, and T. S. Seifert, Testing against requirements using uml environment models, Fachgruppentreffen Requirements Engineering und Test, Analyse and Verifikation, pp.28-31, 2008.

L. Du-bousquet, F. Ouabdesselam, J. L. Richier, and N. Zuanon, Lutess: a specification-driven testing environment for synchronous software, Proceedings of the 21st International Conference on Software Engineering, pp.267-276, 1999.

. Ieee-standard, IEEE Standard Glossary of Software Engineering Terminology, vol.610, pp.1-84, 1990.

I. Sommerville and P. Sawyer, Requirements Engineering: A Good Practice Guide, 1st edn, 1997.

D. Méry and N. K. Singh, Formalization of heart models based on the conduction of electrical impulses and cellular automata, FHIES 2011, vol.7151, pp.140-159, 2012.

N. K. Singh, Using Event-B for Critical Device Software Systems, 2013.

D. Méry and N. K. Singh, Closed-loop modeling of cardiac pacemaker and heart, FHIES 2012, vol.7789, pp.151-166, 2013.