Challenges in requirements engineering, Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp.160-162, 1995. ,
Software Engineer's Reference Book, 1991. ,
Analyzing software requirements errors in safety-critical, embedded systems, Proceedings of IEEE International Symposium on Requirements Engineering, pp.126-133, 1993. ,
Operational prototyping: a new development approach, IEEE Softw, vol.9, pp.70-78, 1992. ,
Rapid prototyping: in the obj executable specification language, SIGSOFT Softw. Eng. Notes, vol.7, pp.75-84, 1982. ,
Requirements monitoring in dynamic environments, Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp.140-147, 1995. ,
Aspect-oriented modeling for embedded software design, 14th Asia-Pacific Software Engineering Conference, pp.342-349, 2007. ,
Model-driven architecture for embedded software: a synopsis and an example, Sci. Comput. Program, vol.73, issue.1, pp.26-38, 2008. ,
Uml-based modeling and simulation method for mission-critical real-time embedded, System Development, IASTED Conference on Software Engineering, pp.160-165, 2006. ,
Improvement of control software for automatic logistic systems using executable environment models, Proceedings of 24th Euromicro Conference, vol.2, pp.919-923, 1998. ,
Environment behavior models for automation of testing and assessment of system safety, Advances in Model-based Testing, vol.48, pp.971-980, 2006. ,
Testing against requirements using uml environment models, Fachgruppentreffen Requirements Engineering und Test, Analyse and Verifikation, pp.28-31, 2008. ,
Lutess: a specification-driven testing environment for synchronous software, Proceedings of the 21st International Conference on Software Engineering, pp.267-276, 1999. ,
, IEEE Standard Glossary of Software Engineering Terminology, vol.610, pp.1-84, 1990.
Requirements Engineering: A Good Practice Guide, 1st edn, 1997. ,
Formalization of heart models based on the conduction of electrical impulses and cellular automata, FHIES 2011, vol.7151, pp.140-159, 2012. ,
Using Event-B for Critical Device Software Systems, 2013. ,
Closed-loop modeling of cardiac pacemaker and heart, FHIES 2012, vol.7789, pp.151-166, 2013. ,