, VHDL Language Reference Manual, IEEE Std, pp.1076-2008

. Scade-homepage,

L. Bass, The Arch model: Seeheim revisited, CHI'91 User Interface Developers Workshop, 1991.

G. E. Pfaff, User Interface Management Systems, Eurographics Seminars, 1985.

B. A. Myers, Separating application code from toolkits: Eliminating the spaghetti of callbacks, Proc. UIST, pp.211-220, 1991.

B. A. Myers and M. B. Rosson, Survey on user interface programming, Proc. CHI, pp.195-202, 1992.

. Djnn, , p.2, 2015.

M. Magnaudet and S. Chatty, What should adaptivity mean to interactive software programmers, EICS 2014, ACM SIGCHI, pp.13-22, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01011095

. Holides, Holistic Human Factors and System Design of Adaptive Cooperative Human Machine System) R&D project www.holides.eu, p.2, 2015.

C. Letondal, P. Pillain, E. Verdurand, D. Prun, and O. Grisvard, Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication, Proc. of BCS HCI, pp.92-102, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01205503

G. J. Holzmann, The Spin Model Checker: Primer and Reference Manual, 2003.

J. , Modeling in Event-B: System and Software Engineering, p.9780521895569, 2010.

K. Jensen, Coloured Petri Nets, 1996.

C. Baier and J. Katoen, Principles of Model Checking, 2008.

C. Dufourd, A. Finkel, and P. Schnoebelen, Reset nets between decidability and undecidability, 25th ICALP, vol.1443, pp.103-115, 1998.