


Остановите войну!
for scientists:


default search action
José Creissac Campos
José Francisco Creissac Freitas de Campos
Person information

- affiliation: University of Minho, Braga, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c77]Rafael Braga da Costa, José Creissac Campos
:
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. INTERACT (2) 2023: 504-513 - [c76]Bruno Teixeira, José Creissac Campos
:
Towards Automated Load Testing Through the User Interface. INTERACT (2) 2023: 514-522 - [c75]José Creissac Campos
, Laurence Nigay
, Alan J. Dix
, Anke Dittmar
, Simone D. J. Barbosa, Lucio Davide Spano
:
HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education. INTERACT (4) 2023: 632-637 - [c74]Philippe A. Palanque
, José Creissac Campos
:
AMAN Case Study. ABZ 2023: 265-283 - [e6]Uwe Glässer, José Creissac Campos, Dominique Méry
, Philippe A. Palanque
:
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Lecture Notes in Computer Science 14010, Springer 2023, ISBN 978-3-031-33162-6 [contents] - 2022
- [c73]João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos
, Alcino Cunha
, Nuno Macedo
, José N. Oliveira:
Verification of railway network models with EVEREST. MoDELS 2022: 345-355 - [e5]Carmelo Ardito
, Rosa Lanzilotti
, Alessio Malizia
, Marta Lárusdóttir
, Lucio Davide Spano
, José Creissac Campos
, Morten Hertzum
, Tilo Mentler, José L. Abdelnour-Nocera
, Lara S. G. Piccolo
, Stefan Sauer
, Gerrit C. van der Veer:
Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13198, Springer 2022, ISBN 978-3-030-98387-1 [contents] - 2021
- [j24]Carlos Silva, Joana Vieira
, José Francisco Creissac Freitas de Campos
, Rui Couto, António Nestor Ribeiro
:
Development and Validation of a Descriptive Cognitive Model for Predicting Usability Issues in a Low-Code Development Platform. Hum. Factors 63(6) (2021) - [j23]Yamine Aït Ameur, Judy Bowen, José Creissac Campos
, Philippe A. Palanque, Benjamin Weyers:
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33(1): 1-2 (2021) - [j22]Michael D. Harrison, Paolo Masci, José Creissac Campos
:
Balancing the formal and the informal in user-centred design. Interact. Comput. 33(1): 55-72 (2021) - [c72]José Creissac Campos, T. C. Nicholas Graham, Lucio Davide Spano, Jan Van den Bergh:
The Management of Risks and Benefits when Engineering Interactive Digital Systems. EICS 2021: 81-83 - [c71]Catarina Machado, José Creissac Campos:
Towards the integration of user interface prototyping and model-based development. ICGI 2021: 1-8 - [c70]Sybille Caffiau
, José Creissac Campos
, Célia Martinie
, Laurence Nigay
, Philippe A. Palanque
, Lucio Davide Spano
:
Teaching HCI Engineering: Four Case Studies. INTERACT (Workshops) 2021: 195-210 - [c69]José Creissac Campos
, António Nestor Ribeiro
:
Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees. INTERACT (Workshops) 2021: 248-256 - [c68]Konrad Baumann
, José Creissac Campos
, Alan J. Dix
, Laurence Nigay
, Philippe A. Palanque
, Jean Vanderdonckt
, Gerrit C. van der Veer
, Benjamin Weyers
:
HCI-E2: HCI Engineering Education - For Developers, Designers and More. INTERACT (5) 2021: 542-547 - 2020
- [j21]José Creissac Campos
, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque:
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27(5): 35:1-35:48 (2020) - [e4]Emil Sekerinski
, Nelma Moreira
, José N. Oliveira
, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos
, Troy Astarte, Laure Gonnord, Antonio Cerone
, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents] - [e3]Emil Sekerinski
, Nelma Moreira
, José N. Oliveira
, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos
, Troy Astarte
, Laure Gonnord, Antonio Cerone
, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
2010 – 2019
- 2019
- [j20]Michael D. Harrison
, Leo Freitas, Michael J. Drinnan
, José Creissac Campos
, Paolo Masci
, Costanzo di Maria, Michael Whitaker:
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175: 17-34 (2019) - [j19]Carlos Silva
, Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos
:
A use error taxonomy for improving human-machine interface design in medical devices. SIGBED Rev. 16(2): 24-30 (2019) - [j18]Michael D. Harrison
, Paolo Masci
, José Creissac Campos
:
Verification Templates for the Analysis of User Interface Software Design. IEEE Trans. Software Eng. 45(8): 802-822 (2019) - [c67]Rui Couto, José Creissac Campos
:
IVY 2: a model-based analysis tool. EICS 2019: 5:1-5:6 - [c66]Damiano Distante
, Marco Winckler, Regina Bernhaupt
, Judy Bowen
, José Creissac Campos
, Florian Müller
, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit:
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. EICS 2019: 22:1-22:6 - [c65]Rui Couto, José Creissac Campos:
High Assurance on Cyber-Physical Interactive Systems. EICS Workshops 2019: 46-50 - [c64]José Creissac Campos, Michael D. Harrison:
Formal Verification of Interactive Computing Systems: Opportunities, Challenges. EICS Workshops 2019: 69-75 - [c63]Alexandre Canny, David Navarre
, José Creissac Campos
, Philippe A. Palanque:
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) 2019: 486-502 - [c62]João Miguel Araújo, Rui Couto, José Creissac Campos
:
A Generator of User Interface Prototypes for the IVY Workbench. ICGI 2019: 32-39 - 2018
- [c61]José Creissac Campos
, Nuno J. Sousa:
The MAL Interactors Animator: Supporting model validation through animation. EICS 2018: 11:1-11:7 - [c60]Carlos Silva, José Creissac Campos
:
Towards a Simulation-Based Medical Education Platform for PVSio-Web. ICGI 2018: 1-8 - [c59]Michael D. Harrison
, Paolo Masci
, José Creissac Campos
:
Formal Modelling as a Component of User Centred Design. STAF Workshops 2018: 274-289 - [c58]Rui Couto
, José Creissac Campos
, Nuno Macedo
, Alcino Cunha
:
Improving the Visualization of Alloy Instances. F-IDE@FLoC 2018: 37-52 - 2017
- [j17]José Creissac Campos
, Tiago Abade, José Luís Silva
, Michael D. Harrison:
Don't go in there! using the APEX framework in the design of ambient assisted living systems. J. Ambient Intell. Humaniz. Comput. 8(4): 551-566 (2017) - [j16]Gaëlle Calvary, Jeffrey Nichols, José Creissac Campos
, Nuno Jardim Nunes
, Pedro F. Campos
:
Welcome to the First Issue of PACMHCI EICS. Proc. ACM Hum. Comput. Interact. 1(EICS): 1:1-1:2 (2017) - [j15]José Creissac Campos
, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre
, Philippe A. Palanque, Miguel Pinto:
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1(EICS): 9:1-9:20 (2017) - [j14]Michael D. Harrison
, Paolo Masci
, José Creissac Campos
, Paul Curzon
:
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47(6): 834-846 (2017) - [c57]Marina Machado, Rui Couto
, José Creissac Campos
:
MODUS: model-based user interfaces prototyping. EICS 2017: 111-116 - [c56]Michael D. Harrison
, Michael J. Drinnan
, José Creissac Campos
, Paolo Masci
, Leo Freitas, Costanzo di Maria, Michael Whitaker:
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS 2017: 137-154 - [c55]Miguel Pinto, Marcelo Gonçalves, Paolo Masci
, José Creissac Campos
:
TOM: A Model-Based GUI Testing Framework. FACS 2017: 155-161 - [c54]Paolo Masci
, Yi Zhang
, Paul L. Jones, José Creissac Campos
:
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. SEFM 2017: 284-299 - [p2]Michael D. Harrison, Paolo M. Masci
, José Creissac Campos
, Paul Curzon:
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403 - [e2]José Creissac Campos
, Nuno Nunes, Pedro Campos, Gaëlle Calvary, Jeffrey Nichols, Célia Martinie, José Luís Silva:
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017. ACM 2017, ISBN 978-1-4503-5083-9 [contents] - 2016
- [j13]Michael D. Harrison, José Creissac Campos
, Paolo Masci
, Paul Curzon
:
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3(8): e1 (2016) - [j12]José Creissac Campos
, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46(2): 303-316 (2016) - [c53]José Creissac Campos
, Camille Fayollas, Célia Martinie, David Navarre
, Philippe A. Palanque, Miguel Pinto:
Systematic automation of scenario-based testing of user interfaces. EICS 2016: 138-148 - [c52]Michael D. Harrison, José Creissac Campos
, Rimvydas Ruksenas, Paul Curzon
:
Modelling information resources and their salience in medical device design. EICS 2016: 194-203 - [c51]Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
Validating an Approach to Formalize Use Cases with Ontologies. FESCA@ETAPS 2016: 1-15 - [c50]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci
, Michael D. Harrison, José Creissac Campos
, Saulo Rodrigues e Silva:
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM 2016: 1-19 - 2015
- [j11]Rui Couto
, António Manuel Nestor Ribeiro
, José Francisco Creissac Freitas de Campos
:
The Modelery: a model-based software development repository. Int. J. Web Inf. Syst. 11(2): 205-225 (2015) - [j10]Michael D. Harrison
, José Creissac Campos
, Paolo Masci
:
Reusing models and properties in the analysis of similar interactive devices. Innov. Syst. Softw. Eng. 11(2): 95-111 (2015) - [c49]Tiago Abade, José Creissac Campos
, Rui Moreira, Carlos César Loureiro Silva
, José Luís Silva
:
Immersiveness of Ubiquitous Computing Environments Prototypes: A Case Study. HCI (21) 2015: 237-248 - [c48]José Creissac Campos
, Tiago Abade, José Luís Silva
, Michael D. Harrison:
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. IWAAL 2015: 49-61 - [c47]Diogo Almeida, José Creissac Campos
, João Saraiva
, João Carlos Silva
:
Towards a catalog of usability smells. SAC 2015: 175-181 - 2014
- [j9]Tiago Gomes, Tiago Abade, José Creissac Campos
, Michael D. Harrison, José Luís Silva:
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Trans. Ambient Syst. 1(3): e5 (2014) - [j8]José Creissac Campos
, Gavin J. Doherty
, Michael D. Harrison
:
Analysing interactive devices based on information resource constraints. Int. J. Hum. Comput. Stud. 72(3): 284-297 (2014) - [j7]José Luís Silva
, José Creissac Campos
, Michael D. Harrison
:
Prototyping and analysing ubiquitous computing environments using multiple layers. Int. J. Hum. Comput. Stud. 72(5): 488-506 (2014) - [c46]Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison:
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia 2014 - [c45]Jürgen Ziegler, José Creissac Campos
, Laurence Nigay:
HCI engineering: charting the way towards methods and tools for advanced interactive systems. EICS 2014: 299-300 - [c44]Michael D. Harrison, Paolo Masci
, José Creissac Campos
, Paul Curzon
:
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c43]Ana Isabel Sampaio, José Creissac Campos
:
Towards a Framework for Adaptive Web Applications. HCI (26) 2014: 240-245 - [c42]Tiago Abade, Tiago Gomes, José Luís Silva
, José Creissac Campos
:
Design and Evaluation of a Smart Library Using the APEX Framework. HCI (21) 2014: 307-318 - [c41]Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
The Modelery: A Collaborative Web Based Repository. ICCSA (6) 2014: 1-16 - [c40]Carlos Eduardo Bastos e Marques da Silva, José Creissac Campos
:
Characterizing the Control Logic of Web Applications' User Interfaces. ICCSA (6) 2014: 263-276 - [c39]Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
A Study on the Viability of Formalizing Use Cases. QUATIC 2014: 130-133 - [c38]Tiago Gomes, Tiago Abade, José Creissac Campos
, Michael D. Harrison
, José Luís Silva
:
Rapid development of first person serious games using the APEX platform: the asthma game. SAC 2014: 169-174 - [c37]João Carlos Silva
, José Creissac Campos
, João Saraiva
, José Luís Silva
:
An Approach for Graphical User Interface External Bad Smells Detection. WorldCIST (2) 2014: 199-205 - [c36]Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
Application of Ontologies in Identifying Requirements Patterns in Use Cases. FESCA 2014: 62-76 - 2013
- [j6]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [c35]Carlos E. Silva, José Creissac Campos
:
Combining static and dynamic analysis for the reverse engineering of web applications. EICS 2013: 107-112 - [c34]Luís Oliveira, António Nestor Ribeiro
, José Creissac Campos
:
The Mobile Context Framework: Providing Context to Mobile Applications. HCI (25) 2013: 144-153 - [c33]Samuel Moreira, Rui José
, José Creissac Campos
:
An Empirical Study on Immersive Prototyping Dimensions. HCI (1) 2013: 421-430 - 2012
- [c32]José Luís Silva
, José Creissac Campos
, Michael D. Harrison
:
Formal analysis of ubiquitous computing environments through the APEX framework. EICS 2012: 131-140 - [c31]Carlos E. Silva, José Creissac Campos
:
Can GUI Implementation Markup Languages Be Used for Modelling? HCSE 2012: 112-129 - [c30]Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
MapIt: A Model Based Pattern Recovery Tool. MOMPES 2012: 19-37 - [c29]Rui Couto
, António Nestor Ribeiro
, José Creissac Campos
:
A Patterns Based Reverse Engineering Approach for Java Source Code. SEW 2012: 140-147 - [e1]Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves:
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7 [contents] - 2011
- [j5]José Machado
, Eurico Seabra
, José Creissac Campos
, Filomena O. Soares
, Celina P. Leão
:
Safe controllers design for industrial automation systems. Comput. Ind. Eng. 60(4): 635-653 (2011) - [j4]José Creissac Campos, Michael D. Harrison:
Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [c28]Ana Barbosa, Ana C. R. Paiva, José Creissac Campos
:
Test case generation from mutated task models. EICS 2011: 175-184 - 2010
- [j3]João Carlos Silva, José Creissac Campos
, João Saraiva
:
GUI Inspection from Source Code Analysis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010) - [c27]João Carlos Silva
, Carlos E. Silva, Rui D. Gonçalo, João Saraiva
, José Creissac Campos
:
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. EICS 2010: 181-186 - [c26]José Luís Silva
, Óscar R. Ribeiro
, João M. Fernandes
, José Creissac Campos
, Michael D. Harrison
:
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets. HCSE 2010: 6-21
2000 – 2009
- 2009
- [c25]José Creissac Campos
, Michael D. Harrison
:
Interaction engineering using the IVY tool. EICS 2009: 35-44 - [c24]José Luís Silva
, José Creissac Campos
, Michael D. Harrison
:
An infrastructure for experience centered agile prototyping of ambient intelligence. EICS 2009: 79-84 - [c23]Marco Antonio Barbosa
, Luís Soares Barbosa
, José Creissac Campos
:
A Coordination Model for Interactive Components. FSEN 2009: 416-430 - [c22]João Carlos Silva
, João Saraiva
, José Creissac Campos
:
A generic library for GUI reasoning and testing. SAC 2009: 121-128 - 2008
- [c21]José Creissac Campos
, Michael D. Harrison
:
Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008: 72-85 - [c20]Gavin J. Doherty
, José Creissac Campos
, Michael D. Harrison
:
Resources for Situated Actions. DSV-IS 2008: 194-207 - [p1]Michael D. Harrison, José Creissac Campos
, Gavin J. Doherty
, Karsten Loer:
Connecting Rigorous System Analysis to Experience-Centered Design. Maturing Usability 2008: 56-74 - [i1]Michael D. Harrison, José Creissac Campos:
Analysing Human Aspects of Safety-Critical Software. ERCIM News 2008(75) (2008) - 2007
- [c19]José Creissac Campos
, Michael D. Harrison
:
Considering Context and Users in Interactive Systems Analysis. EHCI/DS-VIS 2007: 193-209 - [c18]Helder Pinto, Rui José
, José Creissac Campos
:
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. ICPS 2007: 232-241 - [c17]Michael D. Harrison
, Christian Kray
, José Creissac Campos
:
Exploring an Option Space to Engineer a Ubiquitous Computing System. FMIS@BCS HCI 2007: 41-55 - [c16]José Luís Silva
, José Creissac Campos
, Ana C. R. Paiva:
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. FMIS@BCS HCI 2007: 77-93 - 2006
- [c15]João Carlos Silva, José Creissac Campos
, João Saraiva
:
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. DSV-IS 2006: 137-150 - [c14]Stéphane Chatty, José Creissac Campos
, María Paula González, Sophie Lepreux, Erik G. Nilsson, Victor M. Ruiz Penichet
, Mónica Sara Santos, Jan Van den Bergh:
Processes: Working Group Report. DSV-IS 2006: 262-264 - [c13]Marco Antonio Barbosa
, Luís Soares Barbosa
, José Creissac Campos
:
Towards a Coordination Model for Interactive Systems. FMIS@ICFEM 2006: 89-103 - 2005
- [c12]José Creissac Campos
, Gavin J. Doherty
:
Supporting Resource-Based Analysis of Task Information Needs. DSV-IS 2005: 188-200 - [c11]Gavin J. Doherty
, Lydie du Bousquet, José Creissac Campos
, El Mustapha El Atifi, Gilles Falquet, Mieke Massink
, Carmen Santoro:
Ambience and Mobility. DSV-IS 2005: 264 - 2004
- [c10]António Ramires Fernandes, Jorge Ribeiro Pereira, José Creissac Campos:
Accessibility and Visually Impaired Users. ICEIS (5) 2004: 75-80 - [c9]António Fernandes, Jorge Pereira, José Creissac Campos
:
Accessibility and Visually Impaired Users. ICEIS (Selected Papers) 2004: 310-315 - [c8]José Creissac Campos, Michael D. Harrison, Karsten Loer:
Verifying user interface behaviour with model checking. VVEIS 2004: 87-96 - 2003
- [c7]José Creissac Campos:
A formal approach to the usability engineering. CLIHC 2003: 17-28 - [c6]José Creissac Campos
:
Using Task Knowledge to Guide Interactor Specifications Analysis. DSV-IS 2003: 171-186 - [c5]José Creissac Campos
, Gavin J. Doherty:
Reasoning about Dynamic Information Displays. DSV-IS 2003: 288-302 - [c4]José Creissac Campos, Michael D. Harrison:
From HCI to Software Engineering and Back. ICSE Workshop on SE-HCI 2003: 49-56 - 2001
- [j2]José Creissac Campos
, Michael D. Harrison
:
Model Checking Interactor Specifications. Autom. Softw. Eng. 8(3-4): 275-310 (2001) - 2000
- [j1]Gavin J. Doherty
, José Creissac Campos
, Michael D. Harrison:
Representational Reasoning and Verification. Formal Aspects Comput. 12(4): 260-277 (2000)
1990 – 1999
- 1999
- [c3]José Creissac Campos, Michael D. Harrison:
Modelling and Analysing Connectivity in an Audio-Visual Communications System. DSV-IS 1999: 167-188 - 1998
- [c2]José Creissac Campos, Michael D. Harrison:
The Role of Verification in Interactive Systems Design. DSV-IS 1998: 155-170 - 1997
- [c1]José Creissac Campos, Michael D. Harrison:
Formally verifying interactive systems: A review. DSV-IS 1997: 109-124