Bel Mokadem, H., Berard, B., Gourcu, V., De Smet, O. and Roussel, J.-M. (2010) Verification of a Timed Multitask System with UPPAAL. IEEE Transactions on Automation Science and Engineering, 7, 921-932.
http://dx.doi.org/10.1109/TASE.2010.2050199

has been cited by the following article:

• TITLE: Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps

  AUTHORS: Susanne Rösch, Sebastian Ulewicz, Julien Provost, Birgit Vogel-Heuser

  KEYWORDS: Model-Based Testing, Automated Production Systems, Conformance Testing, Regression Testing, Fault Injection, Survey

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.8 No.9, September 30, 2015

  ABSTRACT: As production automation systems have been and are becoming more and more complex, the task of quality assurance is increasingly challenging. Model-based testing is a research field addressing this challenge and many approaches have been suggested for different applications. The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps. The different approaches are classified and clustered according to their main focus which is either testing and test case generation from some form of model automatons, test case generation from models used within the development process of production automation systems, test case generation from fault models or test case selection and regression testing.