![](bg8.png)
ment Systems. In IEEE Control Applications, (CCA)
& Intelligent Control, (ISIC), pages 825–830.
Almejalli, K., Dahal, K., and Hossain, M. (2008). Real
Time Identification of Road Traffic Control Mea-
sures. In Fink, A. and Rothlauf, F., editors, Advances
in Computational Intelligence in Transport, Logis-
tics, and Supply Chain Management, volume 144 of
Studies in Computational Intelligence, pages 63–80.
Springer Berlin / Heidelberg.
Andr´e, C., Mallet, F., and de Simone, R. (2007). Mod-
eling Time(s). In ACM-IEEE, editor, 10th Interna-
tional Conference on Model Driven Engineering Lan-
guages and Systems (MODELS ’07), pages 559–573,
Nashville, TN, USA. Springer Verlag.
Balmelli, L., Brown, D., Cantor, M., and Mott, M. (2006).
Model-driven Systems Development. IBM Systems
Journal,, 45(3):569–586.
Bell, A. E. (2004). Death by UML Fever. Queue, 2:72–80.
B´ezivin, J. (2006). Model Driven Engineering: An Emerg-
ing Technical Space, volume 4143 of Lecture Notes in
Computer Science. Springer-Verlag, Berlin, Germany.
Bruneli`ere, H., Cabot, J., Jouault, F., Tisi, M., and B´ezivin,
J. (2010). Industrialization of Research Tools: the
ATL Case. In Third International Workshop on Aca-
demic Software Development Tools and Techniques -
WASDeTT-3 (co-located with the 25th IEEE/ACM In-
ternational Conference on Automated Software Engi-
neering - ASE’2010).
Colombo, P., Khendek, F., and Lavazza, L. (2012). Bridging
the Gap between Requirements and Design: An Ap-
proach based on Problem Frames and SysML. Journal
of Systems and Software, 85(3):717–745.
Edwards, S. A. and Lee, E. A. (2003). The Semantics
and Execution of a Synchronous Block-Diagram Lan-
guage. Science of Computer Programming, 48(1):21–
42.
France, R. B., Ghosh, S., Dinh-Trong, T., and Solberg, A.
(2006). Model-Driven Development Using UML 2.0:
Promises and Pitfalls. Computer, 39:59–66.
Goknil, A., Kurtev, I., and Berg, K. V. D. (2014). Gener-
ation and Validation of Traces between Requirements
and Architecture based on Formal Trace Semantics.
Journal of Systems and Software, 88(0):112–137.
Hastbacka, D., Vepsalainen, T., and Kuikka, S. (2011).
Model-Driven Development of Industrial Process
Control Applications. Journal of Systems and Soft-
ware, 84(7):1100–1113.
Hinchey, M., Jackson, M., Cousot, P., Cook, B., Bowen,
J. P., and Margaria, T. (2008). Software Engineering
and Formal Methods. Communications of the ACM,,
51(9):54–59.
ISO-IEC (2007). Systems and Software engineering - Rec-
ommended Practice for Architectural Description of
Software-Intensive Systems. Technical report.
Jiang, L., Eberlein, A., Far, B. H., and Mousavi, M. (2008).
A Methodology for the Selection of Requirements En-
gineering Techniques. Software and System Modeling,
7(3):303–328.
Jouault, F., Allilaire, F., B´ezivin, J., and Kurtev, I. (2008).
ATL: A Model Transformation Tool. Science of Com-
puter Programming, 72(1-2):31–39.
Jouault, F. and Kurtev, I. (2005). Transforming Models with
ATL. In MoDELS Satellite Events, pages 128–138.
Karban, R., Zamparelli, M., Bauvir, B., Koehler, B.,
Noethe, L., and Balestra, A. (2008). Exploring Model
Based Engineering for Large Telescopes: Getting
Started with Descriptive Models. In Angeli, G. Z. and
Cullum, M. J., editors, Modeling, Systems Engineer-
ing, and Project Management for Astronomy III, vol-
ume 7017, pages 1–13.
Kim, S.-K., Myers, T., Wendland, M.-F., and Lindsay,
P. A. (2012). Execution of Natural Language Re-
quirements using State Machines Synthesised from
Behavior Trees. Journal of Systems and Software,
85(11):2652–2664.
Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad,
A., and Tatibouet, B. (2010). A First Attempt to Com-
bine SysML Requirements Diagrams and B . Innova-
tions in Systems and Software Engineering, 6(1):47–
54.
Ludewig, J. (2003). Models in Software Engineering. Soft-
ware and System Modeling,, 2(1):5–14.
OMG (2006). Meta-Object Facility (MOF) Core Specifica-
tion - Version 2.0.
OMG-SysML (2010). Systems Modeling Language
(SysML) - Version 1.2.
OMG-UML (2010). Unified Modeling Language (UML):
Superstructure - version 2.3.
Selim, G. M. K., Wang, S., Cordy, J. R., and Dingel, J.
(2012). Model Transformations for Migrating Legacy
Models: an Industrial Case Study. In Proceedings of
the 8th European conference on Modelling Founda-
tions and Applications, ECMFA’12, pages 90–101.
Soares, M. S. and Vrancken, J. (2009). Evaluation of
UML in Practice - Experiences in a Traffic Manage-
ment Systems Company. In Cordeiro, J. and Fil-
ipe, J., editors, Proceedings of the 11th International
Conference on Enterprise Information Systems (ICEIS
2009), pages 313–319.
Soares, M. S., Vrancken, J., and Verbraeck, A. (2011). User
Requirements Modeling and Analysis of Software-
intensive Systems. Journal of Systems and Software,
84(2):328–339.
Tiako, P. F. (2008). Designing Software-Intensive Systems:
Methods and Principles. IGI Global, Hershey, New
York, USA, 1 edition.
Viehl, A., Sch¨onwald, T., Bringmann, O., and Rosenstiel,
W. (2006). Formal Performance Analysis and Sim-
ulation of UML/SysML Models for ESL Design. In
DATE ’06: Proceedings of the conference on Design,
automation and test in Europe, pages 242–247, 3001
Leuven, Belgium, Belgium. European Design and Au-
tomation Association.
ICEIS2014-16thInternationalConferenceonEnterpriseInformationSystems
200