A. J. Dix, Abstract, Generic Models of Interactive Systems, BCS HCI, pp.63-77, 1988.

C. Gram and G. Cockton, Internal Properties: The Software Developer???s Perspective, Design Principles for Interactive Software, pp.53-89, 1996.
DOI : 10.1007/978-0-387-34912-1_3

C. Gram and G. Cockton, External Properties: the User???s Perspective, Design Principles for Interactive Software, pp.25-51, 1996.
DOI : 10.1007/978-0-387-34912-1_2

M. Hassenzahl, A. Platz, M. Burmester, and K. Lehner, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.201-208, 2000.
DOI : 10.1145/332040.332432

S. International and . Organization, ISO 9241-11 Ergonomic requirements for office work with visual display terminals (VDT) ?, 1996.

X. Lacaze, P. Palanque, E. Barboni, R. Bastide, and D. Navarre, From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management In: Rationale Management in Software Engineering, pp.155-172, 2006.

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE transactions on software engineering, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

J. Laprie and B. Randell, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004.

A. Maclean, R. M. Young, V. M. Bellotti, and T. P. Moran, Questions, Options, and Criteria: Elements of Design Space Analysis, Human-Computer Interaction, vol.2, issue.3, pp.201-250, 1991.
DOI : 10.1207/s15327051hci0603&4_2

Z. Manna and A. Pnueli, A hierarchy of temporal properties, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing , PODC '87, pp.377-410, 1990.
DOI : 10.1145/41840.41857

C. Martinie, P. Palanque, M. Winckler, and S. Conversy, DREAMER, Proceedings of the 28th ACM International Conference on Design of Communication, SIGDOC '10, pp.73-80, 2010.
DOI : 10.1145/1878450.1878463
URL : https://hal.archives-ouvertes.fr/hal-01022256

L. Masip, C. Martinie, M. Winckler, P. Palanque, T. Granollers et al., A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines, Proc. of the 4th international conference on Human-Centered Software Engineering (HCSE'12, pp.53-71, 2012.
DOI : 10.1007/978-3-642-34347-6_4
URL : https://hal.archives-ouvertes.fr/hal-01556811

P. Palanque and X. Lacaze, DREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems, Proceedings of INTERACT 2007, pp.234-250

H. Petrie and O. Kheir, The relationship between accessibility and usability of websites, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '07, pp.397-406, 2007.
DOI : 10.1145/1240624.1240688

M. Pirker and R. Bernhaupt, Measuring user experience in the living room, Proceddings of the 9th international interactive conference on Interactive television, EuroITV '11, pp.79-82, 2011.
DOI : 10.1145/2000119.2000133

A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends, LNCS, pp.510-584, 1986.
DOI : 10.1007/BFb0027047

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

M. A. Sasse, C. Karat, and R. Maxion, Designing and evaluating usable security and privacy technology, Proceedings of the 5th Symposium on Usable Privacy and Security, SOUPS '09, p.page, 2009.
DOI : 10.1145/1572532.1572554

, Section 508: The Road to Accessibility Available at: http://www.section508

A. P. Sistla, On characterization of safety and liveness properties in temporal logic, Proceedings of the fourth annual ACM symposium on Principles of distributed computing , PODC '85, pp.39-48, 1985.
DOI : 10.1145/323596.323600

S. E. Toulmin, The Uses of Argument, 1958.
DOI : 10.1017/CBO9780511840005

J. Vanderdonckt, Development milestones towards a tool for working with guidelines, Interacting with Computers, vol.1, issue.1, pp.81-118, 1999.
DOI : 10.1145/174800.174802

J. Whitacre and A. Bender, Degeneracy: A design principle for achieving robustness and evolvability, Journal of Theoretical Biology, vol.263, issue.1, pp.143-153, 2010.
DOI : 10.1016/j.jtbi.2009.11.008

W. A. Wood, Transition network grammars for natural language analysis, Communications of the ACM, vol.13, issue.10, pp.591-606, 1970.
DOI : 10.1145/355598.362773

J. Yan, E. Ahmad, and A. S. , Usability of CAPTCHAs or usability issues in CAPTCHA design, Proceedings of the 4th symposium on Usable privacy and security, SOUPS '08
DOI : 10.1145/1408664.1408671