E. Barboni, J. Ladry, D. Navarre, P. Palanque, and &. Marco-winckler, Beyond modelling, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.165-17410, 2010.
DOI : 10.1145/1822018.1822043

J. Bowen and &. Reeves, Modelling safety properties of interactive medical systems, Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '13, pp.91-100, 2013.
DOI : 10.1145/2494603.2480314

C. José, C. Campos, C. Fayollas, D. Martinie, P. Navarre et al., Systematic Automation of Scenario-based Testing of User Interfaces, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16, pp.138-148, 2016.

C. José, &. Campos, D. Michael, and . Harrison, Model Checking Interactor Specifications, Automated Software Engineering, vol.8, pp.275-31010, 2001.

C. José, &. Campos, D. Michael, and . Harrison, Interaction Engineering Using the IVY Tool, Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '09, ACM, pp.35-44, 2009.

C. Fayollas, C. Martinie, P. Palanque, E. Barboni, R. Fahssi et al., Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment, Formal Methods in Human Computer Interaction, 2016.
DOI : 10.1007/3-540-69108-1_1

C. Fayollas, C. Martinie, P. Palanque, Y. Deleris, and J. Navarre, An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits, 2014 Tenth European Dependable Computing Conference, pp.198-209, 2014.
DOI : 10.1109/EDCC.2014.17

P. Forbrig, C. Martinie, P. Palanque, M. Winckler, and &. Fahssi, Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components, Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference Proceedings, pp.144-16310, 2014.
DOI : 10.1007/978-3-662-44811-3_9
URL : https://hal.archives-ouvertes.fr/hal-01141437

M. D. Harrison, C. José, P. Campos, and . Masci, Patterns and templates for automated verification of user interface software design in PVS, 2016.

M. D. Harrison, P. Masci, C. José, &. Campos, and . Paul-curzon, The Specification and Analysis of Use Properties of a Nuclear Control System, Formal Methods in Human Computer Interaction, 2016.
DOI : 10.1109/TPDS.2014.2358224

C. Heitmeyer, J. Kirby, B. , and R. Bharadwaj, SCR: A toolset for specifying and analyzing software requirements, Computer Aided Verification: 10th International Conference, CAV'98, pp.526-53110, 1427.

I. Horrocks, Constructing the User Interface with Statecharts, 1999.

E. Glenn, &. Krasner, T. Stephen, and . Pope, A Cookbook for Using the Model-view Controller User Interface Paradigm in Smalltalk-80, Journal of Object Oriented Programming, vol.1, issue.3, pp.26-49, 1988.

C. Martinie, P. Palanque, E. Barboni, and M. Ragosta, Task-model based assessment of automation levels: Application to space ground segments, 2011 IEEE International Conference on Systems, Man, and Cybernetics, pp.3267-3273, 2011.
DOI : 10.1109/ICSMC.2011.6084173

C. Martinie, P. Palanque, and &. Marco-winckler, Structuring and Composition Mechanisms to Address Scalability Issues in Task Models, 13th IFIP TC 13 International Conference Proceedings, Part III, pp.589-609, 2011.
DOI : 10.1007/978-3-642-23765-2_40
URL : https://hal.archives-ouvertes.fr/hal-01591816

P. Masci, P. G. Larsen, and &. Paul-curzon, Integrating the PVSio-web modelling and prototyping environment with Overture In: 13th Overture Workshop, satellite event of FM2015, Grace Technical Reports, pp.33-47, 2012.

P. Masci and P. Oladimeji, PVSio-web 2.0: Joining PVS to HCI, Computer Aided Verification: 27th International Conference, CAV 2015, Proceedings, Part I, pp.470-478, 2015.
DOI : 10.1007/978-3-319-21690-4_30

G. Mauro, H. Thimbleby, A. Domenici, and &. Bernardeschi, Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation, 3rd Workshop on Formal Integrated Development Environment Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016.
DOI : 10.1007/3-540-63475-4_4
URL : http://arxiv.org/pdf/1701.08468

A. César and R. Butler, Rapid prototyping in PVS Available at http://ntrs.nasa.gov/ search, pp.2003-2006, 2003.

D. Navarre, P. Palanque, and J. Barboni, ICOs, ACM Transactions on Computer-Human Interaction, vol.16, issue.4, pp.1-1856, 2009.
DOI : 10.1145/1614390.1614393

S. Owre, J. M. Rushby-&-natarajan, and . Shankar, PVS: A prototype verification system, Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction, pp.748-75210, 1992.
DOI : 10.1007/3-540-55602-8_217

J. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

J. Silva, C. Fayollas, A. Hamon, C. Martinie, and E. Barboni, Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification, Scope/purpose Interactive system prototyping, development, and analysis. User interface software prototyping and analysis, 2014.