H. Aboutaleb, Applying HiGraph-Based Model to System Engineering-Methodology, Formalism and Metrics, PhD in Computer Science, 2015.

P. Letelier, A Framework for Requirements Traceability in UML-based Projects, Proc. of 1st International Workshop on Traceability in Engineering Forms of Software Engineering

S. Bernardi, S. Donatelli, and J. Merseguer, From UML sequence diagrams and statecharts to analysable Petri net models, WOSP 02 : Proceedings of the 3rd international workshop on Software and performance, p.3545, 2002.

T. Holvoet and P. Verbaeten, Petri charts : an alternative technique for hierarchical net construction, Proceedings of IEEE Conference on System, Man, and Cybernetics, 1995.

Z. Hu and S. M. Shatz, Mapping UML diagrams to a Petri net notation for system simulation, SEKE, p.213219, 2004.

. Sh, S. M. Yao, and . Shatz, Consistency checking of UML dynamic models based on Petri net techniques, CIC, p.289297, 2006.

D. Harel, On visual formalisms in Communications of the ACM, vol.31, p.514530, 1988.

D. Harel, Statecharts: A visual formalism for complex systems in, Science of Computer Programming, vol.8, issue.5, p.231274, 1987.

O. Grossman and D. Harel, On the Algorithmics of HiGraphs, 1997.

H. Aboutaleb and B. Monsuez, Handling Complexity of a Model in System Design: Framework, Formalism and Metrics, Procedia Manufacturing, vol.3, pp.1981-1988, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01271935

M. Naklé, B. Monsuez, and R. , Introduction a la Methodologie SAFECOMP et Rapport d'´ etape, Version 1

J. A. Stankovic and K. Ramamritham, What is predictability for real-time systems in Real-Time Systems, vol.2, p.247254, 1990.

D. Drusinsky and D. Harel, Using Statecharts for Hardware Description and Synthesis, IEEE Trans. Computer Aided Design of Integrated Circuits and Systems, vol.8, pp.798-807, 1989.

K. Fogarty, System Modeling and Traceability Applications of the HiGraph Formalism.MS thesis, 2006.

M. Raitner, Efficient visual navigation of hierarchically structured graphs, 2006.

J. L. De-la-mata and M. Rodriguez, Autonomous Systems Laboratory. UPM-ETS Ingenieros Industriales, D-HiGraphs Functional Modeling, vol.2, 2010.

A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood, Transformation: The Missing Link of MDA, Proc. 1st International Conference. Graph Transformation, vol.2505, pp.90-105, 2002.

H. Vangheluwe, J. De-lara, and P. J. Mosterman, An Introduction to Multi-Paradigm Modelling and Simulation, Tutorial, Proceedings AI Simulation and Planning AIS-2002, 2002.

G. Taentzer, K. Ehrig, E. Guerra, and J. De-lara, Model Transformation by Graph Transformation : A Comparative Study, Model Transformations in Practice Workshop at MoDELS, Montego, 2005.

F. Jouault, F. Allilaire, J. Bzivin, I. Kurtev, and P. Valduriez, ATL: a QVT like transformation language, Companion to the 21th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, 2006.