M. Beaudouin-lafon, Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces , AVI '04, pp.15-22, 2004.
DOI : 10.1145/989863.989865

URL : http://thomas.baudel.name/Epistemologie/p15-beaudouin-lafon-tmp.pdf

B. A. Myers and M. B. Rosson, Survey on user interface programming, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.195-202, 1992.
DOI : 10.1145/142750.142789

URL : http://www.cs.cmu.edu/~bam/pub/uimsCRCrevised_C360X_CH48.pdf

I. S. Mackenzie and C. Ware, Lag as a determinant of human performance in interactive systems, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '93, pp.488-493, 1993.
DOI : 10.1145/169059.169431

C. Ware and R. Balakrishnan, Reaching for objects in VR displays: lag and frame rate, ACM Transactions on Computer-Human Interaction, vol.1, issue.4, pp.331-356, 1994.
DOI : 10.1145/198425.198426

URL : http://www.dgp.utoronto.ca/~ravin/papers/tochi94_lag.pdf

M. Cordeil, T. Dwyer, and C. Hurter, Immersive solutions for future Air Traffic Control and Management, Proceedings of the 2016 ACM Companion on Interactive Surfaces and Spaces, ISS Companion '16, pp.25-31, 2016.
DOI : 10.1109/TVCG.2015.2467112

URL : https://hal.archives-ouvertes.fr/hal-01405290

S. Chatty, M. Magnaudet, D. Prun, S. Conversy, S. Rey et al., Designing, developing and verifying interactive components iteratively with djnn, In: proc. of ERTS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01292291

P. Antoine and S. Conversy, Volta: the first all-electric conventional helicopter, More Electric Aircraft, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01609233

S. Chatty, M. Magnaudet, and D. Prun, Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '15, pp.276-285, 2015.
DOI : 10.1007/978-3-540-92698-6_30

URL : https://hal.archives-ouvertes.fr/hal-01619784

M. E. Matougui and S. Leriche, Validation of COSMOS DSL programs, The 2010 International Conference on Computer Engineering & Systems, pp.307-313, 2010.
DOI : 10.1109/ICCES.2010.5674874

URL : https://hal.archives-ouvertes.fr/hal-01309290

D. Prun, M. Magnaudet, and S. Chatty, Towards support for verification of adaptative systems with djnn, Proceedings of Cognitive 2015, pp.191-194, 2015.

W. M. Zabolotny, Automatic latency balancing in vhdl-implemented complex pipelined systems, p.8111, 2015.

G. Casiez, T. Pietrzak, D. Marchal, S. Poulmane, M. Falce et al., Characterizing Latency in Touch and Button-Equipped Interactive Systems, Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology , UIST '17, pp.29-39, 2017.
DOI : 10.1145/198425.198426

URL : https://hal.archives-ouvertes.fr/hal-01586803

P. Puschner and A. Burns, Guest Editorial, Real-Time Systems, vol.30, issue.1-2, pp.115-128, 2000.
DOI : 10.1007/s11241-005-0501-2

M. Asavoae, C. Maiza, and P. Raymond, Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective: 13th International Workshop on Worst-Case Execution Time Analysis, pp.32-41, 2013.