@misc(ctt,
 year         = {2012},
 title        = {Concur Task Trees ({CTT})},
 howpublished = {available from \href{https://www.w3.org/2012/02/ctt/}{\texttt{w3.org}}},
 note         = {Accessed: 2017-07-06},
)
@article(anderson1996act,
 author       = {John R Anderson},
 year         = {1996},
 title        = {{ACT}: A simple theory of complex cognition.},
 journal      = {American Psychologist},
 volume       = {51},
 doi          = {10.1037/0003-066X.51.4.355},
)
@inproceedings(FM2016,
 author       = {Mehrnoosh Askarpour},
 year         = {2016},
 title        = {Risk Assessment in Collaborative Robotics},
 booktitle    = {Formal Methods Doctoral Symposium, {FM-DS}},
 series       = {CEUR-WS},
 volume       = {1744},
)
@inproceedings(DBLP:conf/safecomp/AskarpourMRV17,
 author       = {Mehrnoosh Askarpour and Dino Mandrioli and Matteo Rossi and Federico Vicentini},
 year         = {2017},
 title        = {Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications},
 editor       = {Stefano Tonetta and Erwin Schoitsch and Friedemann Bitsch},
 booktitle    = {Computer Safety, Reliability, and Security - 36th International Conference, {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10488},
 publisher    = {Springer},
 pages        = {89--104},
 doi          = {10.1007/978-3-319-66266-4\_6},
)
@article(ASKARPOUR2019465,
 author       = {Mehrnoosh Askarpour and Dino Mandrioli and Matteo Rossi and Federico Vicentini},
 year         = {2019},
 title        = {Formal model of human erroneous behavior for safety analysis in collaborative robotics},
 journal      = {Robotics and Computer-Integrated Manufacturing},
 volume       = {57},
 pages        = {465 -- 476},
 doi          = {10.1016/j.rcim.2019.01.001},
)
@inproceedings(askarpourmind,
 author       = {Mehrnoosh Askarpour and Claudio Menghi and Gabriele Belli and Marcello M. Bersani and Patrizio Pelliccione},
 year         = {2020},
 title        = {Mind the gap: Robotic Mission Planning Meets Software Engineering},
 booktitle    = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
 pages        = {55--65},
 doi          = {10.1145/3372020.3391561},
)
@inproceedings(basnyat2005task,
 author       = {Sandra Basnyat and Philippe Palanque},
 year         = {2005},
 title        = {A task pattern approach to incorporate user deviation in task models},
 booktitle    = {Proc. 1st ADVISES Young Researchers Workshop. Liege, Belgium},
)
@article(DBLP:journals/fac/BersaniSMPR20,
 author       = {Marcello M. Bersani and Matteo Soldo and Claudio Menghi and Patrizio Pelliccione and Matteo Rossi},
 year         = {2020},
 title        = {PuRSUE -from specification of robotic environments to synthesis of controllers},
 journal      = {Formal Aspects Comput.},
 volume       = {32},
 number       = {2},
 pages        = {187--227},
 doi          = {10.1109/TAC.2011.2176409},
)
@article(Bolton15,
 author       = {Matthew L. Bolton},
 year         = {2015},
 title        = {Model Checking Human-Human Communication Protocols Using Task Models and Miscommunication Generation},
 journal      = {J. Aerospace Inf. Sys.},
 volume       = {12},
 number       = {7},
 pages        = {476--489},
 doi          = {10.1177/1555343413490944},
)
@article(Bolton2010,
 author       = {Matthew L. Bolton and Ellen J. Bass},
 year         = {2010},
 title        = {Formally verifying human--automation interaction as part of a system model: limitations and tradeoffs},
 journal      = {Innovations in Systems and Software Engineering},
 volume       = {6},
 number       = {3},
 pages        = {219--231},
 doi          = {10.1007/s11334-010-0129-9},
)
@article(Bolton:2012,
 author       = {Matthew L. Bolton and Ellen J. Bass and Radu I. Siminiceanu},
 year         = {2012},
 title        = {Generating Phenotypical Erroneous Human Behavior to Evaluate Human-automation Interaction Using Model Checking},
 journal      = {Int. J. Hum.-Comput. Stud.},
 volume       = {70},
 number       = {11},
 pages        = {888--906},
 doi          = {10.1016/j.ijhcs.2012.05.010},
)
@article(BoltonBS13,
 author       = {Matthew L. Bolton and Ellen J. Bass and Radu I. Siminiceanu},
 year         = {2013},
 title        = {Using Formal Verification to Evaluate Human-Automation Interaction: {A} Review},
 journal      = {{IEEE} Trans. Systems, Man, and Cybernetics: Systems},
 volume       = {43},
 number       = {3},
 pages        = {488--503},
 doi          = {10.1109/TSMCA.2012.2210406},
)
@article(BOLTON2019168,
 author       = {Matthew L. Bolton and Kylie Molinaro and Adam Houser},
 year         = {2019},
 title        = {A formal method for assessing the impact of task-based erroneous human behavior on system safety},
 journal      = {Reliab. Eng. Syst. Saf.},
 volume       = {188},
 pages        = {168--180},
 url          = {https://doi.org/10.1016/j.ress.2019.03.010},
)
@article(BoltonSB11,
 author       = {Matthew L. Bolton and Radu I. Siminiceanu and Ellen J. Bass},
 year         = {2011},
 title        = {A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models.},
 journal      = {IEEE Trans. Systems, Man, and Cybernetics, Part A},
 volume       = {41},
 number       = {5},
 pages        = {961--976},
 doi          = {10.1109/TSMCA.2011.2109709},
)
@inproceedings(both2007formal,
 author       = {Fiemke Both and Annerieke Heuvelink},
 year         = {2007},
 title        = {From a formal cognitive task model to an implemented ACT-R model},
 booktitle    = {Proceedings of the 8th International Conference on Cognitive Modeling (ICCM)},
 pages        = {199--204},
)
@inproceedings(Bredereke:2002,
 author       = {Jan Bredereke and Axel Lankenau},
 year         = {2002},
 title        = {A Rigorous View of Mode Confusion},
 booktitle    = {Proceedings of the 21st International Conference on Computer Safety, Reliability and Security},
 series       = {SAFECOMP '02},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {19--31},
 doi          = {10.1016/0167-6423(95)96871-J},
)
@article(Bredereke2005229,
 author       = {Jan Bredereke and Axel Lankenau},
 year         = {2005},
 title        = {Safety-relevant mode confusions modelling and reducing them},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {88},
 number       = {3},
 pages        = {229 -- 245},
 doi          = {10.1016/j.ress.2004.07.020},
)
@article(Butterworth2000,
 author       = {Richard Butterworth and Ann Blandford and David Duke},
 year         = {2000},
 title        = {Demonstrating the Cognitive Plausibility of Interactive System Specifications},
 journal      = {Formal Aspects of Computing},
 volume       = {12},
 number       = {4},
 pages        = {237--259},
 doi          = {10.1007/s001650070021},
)
@inproceedings(CeroneLC05,
 author       = {Antonio Cerone and Peter A. Lindsay and Simon Connelly},
 year         = {2005},
 title        = {Formal Analysis of Human-computer Interaction using Model-checking},
 editor       = {Bernhard K. Aichernig and Bernhard Beckert},
 booktitle    = {Third {IEEE} International Conference on Software Engineering and Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
 publisher    = {{IEEE} Computer Society},
 pages        = {352--362},
 doi          = {10.1109/SEFM.2005.19},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/10529/proceeding},
)
@inproceedings(DBLP:conf/aips/CrosbyPRK17,
 author       = {Matthew Crosby and Ronald P. A. Petrick and Francesco Rovida and Volker Kr{\"{u}}ger},
 year         = {2017},
 title        = {Integrating Mission and Task Planning in an Industrial Robotics Framework},
 editor       = {Laura Barbulescu and Jeremy Frank and Mausam and Stephen F. Smith},
 booktitle    = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, {ICAPS} 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017},
 publisher    = {{AAAI} Press},
 pages        = {471--479},
 url          = {https://aaai.org/ocs/index.php/ICAPS/ICAPS17/paper/view/15715},
)
@inproceedings(CurzonB02,
 author       = {Paul Curzon and Ann Blandford},
 year         = {2002},
 title        = {From a Formal User Model to Design Rules},
 booktitle    = {Interactive Systems. Design, Specification, and Verification, 9th International Workshop, {DSV-IS} 2002, Rostock Germany, June 12-14, 2002},
 pages        = {1--15},
 doi          = {10.1007/3-540-36235-5\_1},
)
@inproceedings(curzon2004formally,
 author       = {Paul Curzon and Ann Blandford},
 year         = {2004},
 title        = {Formally justifying user-centred design rules: a case study on post-completion errors},
 booktitle    = {International Conference on Integrated Formal Methods},
 organization = {Springer},
 pages        = {461--480},
 doi          = {10.1007/3-540-47884-1_12},
)
@article(Curzon2007,
 author       = {Paul Curzon and Ruk{\v{s}}{\.{e}}nas, Rimvydas and Ann Blandford},
 year         = {2007},
 title        = {An approach to formal verification of human--computer interaction},
 journal      = {Formal Aspects of Computing},
 volume       = {19},
 number       = {4},
 pages        = {513--550},
 doi          = {10.1007/s00165-007-0035-6},
)
@article(DESILVA2019130,
 author       = {{de Silva}, Lavindra and Paolo Felli and David Sanderson and Jack C. Chaplin and Brian Logan and Svetan Ratchev},
 year         = {2019},
 title        = {Synthesising process controllers from formal models of transformable assembly systems},
 journal      = {Robotics and Computer-Integrated Manufacturing},
 volume       = {58},
 pages        = {130 -- 144},
 doi          = {10.1016/j.rcim.2019.01.014},
)
@inproceedings(10.1007/978-1-4471-0765-1-28,
 author       = {R. Dillmann and O. Rogalla and M. Ehrenmann and R. Z{\"o}liner and M. Bordegoni},
 year         = {2000},
 title        = {Learning Robot Behaviour and Skills Based on Human Demonstration and Advice: The Machine Learning Paradigm},
 editor       = {John M. Hollerbach and Daniel E. Koditschek},
 booktitle    = {Robotics Research},
 publisher    = {Springer London},
 address      = {London},
 pages        = {229--238},
 doi          = {10.1007/978-1-4471-1555-7},
)
@book(DoughertyFragola1988,
 author       = {E.M. Dougherty and J.R. Fragola},
 year         = {1988},
 title        = {Human reliability analysis},
 publisher    = {New York, NY; John Wiley and Sons Inc.},
)
@inproceedings(embrey1986sherpa,
 author       = {DE Embrey},
 year         = {1986},
 title        = {SHERPA: A systematic human error reduction and prediction approach},
 booktitle    = {Proceedings of the international topical meeting on advances in human factors in nuclear power systems},
)
@article(DEFELICE20161673,
 author       = {F. De Felice and A. Petrillo and F. Zomparelli},
 year         = {2016},
 title        = {A Hybrid Model for Human Error Probability Analysis},
 journal      = {IFAC-PapersOnLine},
 volume       = {49},
 number       = {12},
 pages        = {1673 -- 1678},
 doi          = {10.1016/j.ifacol.2016.07.821},
 note         = {8th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2016},
)
@phdthesis(Fields,
 author       = {Robert E. Fields},
 year         = {2001},
 title        = {Analysis of erroneous actions in the design of critical systems},
 school       = {University of York},
)
@inproceedings(GallF14,
 author       = {Daniel Gall and Thom W. Fr{\"{u}}hwirth},
 year         = {2014},
 title        = {A Formal Semantics for the Cognitive Architecture {ACT-R}},
 booktitle    = {Logic-Based Program Synthesis and Transformation - 24th International Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers},
 pages        = {74--91},
 doi          = {10.1007/978-3-319-17822-6\_5},
)
@article(COGS334,
 author       = {Wayne D. Gray},
 year         = {2000},
 title        = {The Nature and Processing of Errors in Interactive Behavior},
 journal      = {Cognitive Science},
 volume       = {24},
 number       = {2},
 pages        = {205--248},
 doi          = {10.1207/s15516709cog2402_2},
)
@article(GUIOCHET201743,
 author       = {Jérémie Guiochet and Mathilde Machin and Hélène Waeselynck},
 year         = {2017},
 title        = {Safety-critical advanced robots: A survey},
 journal      = {Robotics and Autonomous Systems},
 volume       = {94},
 pages        = {43 -- 52},
 doi          = {10.1016/j.robot.2017.04.004},
)
@article(Hartson:1990,
 author       = {H. Rex Hartson and Antonio C. Siochi and D. Hix},
 year         = {1990},
 title        = {The UAN: A User-oriented Representation for Direct Manipulation Interface Designs},
 journal      = {ACM Trans. Inf. Syst.},
 volume       = {8},
 number       = {3},
 pages        = {181--203},
 doi          = {10.1145/964967.801131},
)
@inproceedings(7030020,
 author       = {K. P. Hawkins and Nam Vo and S. Bansal and A. F. Bobick},
 year         = {2013},
 title        = {Probabilistic human action prediction and wait-sensitive planning for responsive human-robot collaboration},
 booktitle    = {2013 13th IEEE-RAS International Conference on Humanoid Robots (Humanoids)},
 pages        = {499--506},
 doi          = {10.1109/HUMANOIDS.2013.7030020},
)
@book(hollnagel1998cognitive,
 author       = {Erik Hollnagel},
 year         = {1998},
 title        = {Cognitive reliability and error analysis method ({CREAM})},
 publisher    = {Elsevier},
)
@article(HowesY97,
 author       = {Andrew Howes and Richard M. Young},
 year         = {1997},
 title        = {The Role of Cognitive Architecture in Modeling the User: Soar's Learning Mechanism},
 journal      = {Human-Computer Interaction},
 volume       = {12},
 number       = {4},
 pages        = {311--343},
 doi          = {10.1007/BF01099424},
)
@inproceedings(Jain2011BayesianLN,
 author       = {Dominik Jain and Stefan Waldherr and Michael Beetz},
 year         = {2011},
 title        = {Bayesian Logic Networks},
)
@article(JilkLOA08,
 author       = {David J. Jilk and Christian Lebiere and Randall C. O'Reilly and John R. Anderson},
 year         = {2008},
 title        = {{SAL:} an explicitly pluralistic cognitive architecture},
 journal      = {J. Exp. Theor. Artif. Intell.},
 volume       = {20},
 number       = {3},
 pages        = {197--218},
 doi          = {10.1007/10719871},
)
@phdthesis(kim2015interactive,
 author       = {Been Kim},
 year         = {2015},
 title        = {Interactive and interpretable machine learning models for human machine collaboration},
 school       = {Massachusetts Institute of Technology},
)
@inproceedings(KimRJW10,
 author       = {Namhun Kim and Ling Rothrock and Jaekoo Joo and Richard A. Wysk},
 year         = {2010},
 title        = {An affordance-based formalism for modeling human-involvement in complex systems for prospective control},
 booktitle    = {Proceedings of the 2010 Winter Simulation Conference, {WSC} 2010, Baltimore, Maryland, USA, 5-8 December 2010},
 publisher    = {{IEEE}},
 pages        = {811--823},
 doi          = {10.1109/WSC.2010.5679107},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/5672636/proceeding},
)
@article(KIRWAN1998157,
 author       = {Barry Kirwan},
 year         = {1998},
 title        = {Human error identification techniques for risk assessment of high risk systems-Part 1: review and evaluation of techniques},
 journal      = {Applied Ergonomics},
 volume       = {29},
 number       = {3},
 pages        = {157 -- 177},
 doi          = {10.1016/S0003-6870(98)00010-6},
)
@book(laird2012soar,
 author       = {John E Laird},
 year         = {2012},
 title        = {The Soar cognitive architecture},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/7688.001.0001},
)
@inproceedings(DBLP:conf/cogsci/LangenfeldWP19,
 author       = {Vincent Langenfeld and Bernd Westphal and Andreas Podelski},
 year         = {2019},
 title        = {On Formal Verification of {ACT-R} Architectures and Models},
 editor       = {Ashok K. Goel and Colleen M. Seifert and Christian Freksa},
 booktitle    = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019},
 publisher    = {cognitivesciencesociety.org},
 pages        = {618--624},
 url          = {https://mindmodeling.org/cogsci2019/papers/0124/index.html},
)
@inproceedings(LauO95,
 author       = {Kung{-}Kiu Lau and Mario Ornaghi},
 year         = {1995},
 title        = {Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs},
 booktitle    = {Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings},
 pages        = {152--169},
 doi          = {10.1007/3-540-60939-3\_11},
)
@inproceedings(lebiere2008sal,
 author       = {Christian Lebiere and Randall C. O'Reilly and David J. Jilk and Niels Taatgen and John R. Anderson},
 year         = {2008},
 title        = {The {SAL} Integrated Cognitive Architecture},
 booktitle    = {Biologically Inspired Cognitive Architectures, Papers from the 2008 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 7-9, 2008},
 series       = {{AAAI} Technical Report},
 volume       = {{FS-08-04}},
 publisher    = {{AAAI}},
 pages        = {98--104},
 url          = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-04-027.php},
)
@article(9121678,
 author       = {B. {Li} and B. R. {Page} and B. {Moridian} and N. {Mahmoudian}},
 year         = {2020},
 title        = {Collaborative Mission Planning for Long-Term Operation Considering Energy Limitations},
 journal      = {IEEE Robotics and Automation Letters},
 volume       = {5},
 number       = {3},
 pages        = {4751--4758},
 doi          = {10.1109/LRA.2020.3003881},
)
@article(LI2016318,
 author       = {Meng kun Li and Yong kuo Liu and Min jun Peng and Chun li Xie and Li qun Yang},
 year         = {2016},
 title        = {The decision making method of task arrangement based on analytic hierarchy process for nuclear safety in radiation field},
 journal      = {Progress in Nuclear Energy},
 volume       = {93},
 pages        = {318 -- 326},
)
@article(DBLP:journals/csur/LuckcuckFDDF19,
 author       = {Matt Luckcuck and Marie Farrell and Louise A. Dennis and Clare Dixon and Michael Fisher},
 year         = {2019},
 title        = {Formal Specification and Verification of Autonomous Robotic Systems: {A} Survey},
 journal      = {{ACM} Comput. Surv.},
 volume       = {52},
 number       = {5},
 pages        = {100:1--100:41},
 doi          = {10.1007/s10458-010-9146-1},
)
@inproceedings(DBLP:conf/ifm/LuckcuckFDD019,
 author       = {Matt Luckcuck and Marie Farrell and Louise A. Dennis and Clare Dixon and Michael Fisher},
 year         = {2019},
 title        = {A Summary of Formal Specification and Verification of Autonomous Robotic Systems},
 editor       = {Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa},
 booktitle    = {Integrated Formal Methods - 15th International Conference, {IFM}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11918},
 publisher    = {Springer},
 pages        = {538--541},
 doi          = {10.1145/1592434.1592436},
)
@article(DBLP:journals/sensors/ManniniS10,
 author       = {Andrea Mannini and Angelo Maria Sabatini},
 year         = {2010},
 title        = {Machine Learning Methods for Classifying Human Physical Activity from On-Body Accelerometers},
 journal      = {Sensors},
 volume       = {10},
 number       = {2},
 pages        = {1154--1175},
 doi          = {10.3390/s100201154},
)
@article(DBLP:journals/thms/MartiniePFBFS16,
 author       = {C{\'{e}}lia Martinie and Philippe A. Palanque and Racim Fahssi and Jean{-}Paul Blanquart and Camille Fayollas and Christel Seguin},
 year         = {2016},
 title        = {Task Model-Based Systematic Analysis of Both System Failures and Human Errors},
 journal      = {{IEEE} Trans. Human-Machine Systems},
 volume       = {46},
 number       = {2},
 pages        = {243--254},
 doi          = {10.1109/THMS.2014.2365956},
)
@inproceedings(Matthias2015,
 author       = {Bj{\"o}rn Matthias},
 year         = {2015},
 title        = {Risk Assessment for {H}uman-{R}obot {C}ollaborative {A}pplications},
 booktitle    = {Workshop {IROS} - Physical Human-Robot Collaboration: Safety, Control, Learning and Applications},
)
@inproceedings(meng,
 author       = {Claudio Menghi and Sergio Garcia and Patrizio Pelliccione and Jana Tumova},
 year         = {2018},
 title        = {Multi-robot LTL Planning Under Uncertainty},
 editor       = {Klaus Havelund and Jan Peleska and Bill Roscoe and Erik de Vink},
 booktitle    = {Formal Methods},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {399--417},
 doi          = {10.1177/0278364915595278},
)
@article(MitchellM86,
 author       = {Christine M. Mitchell and R. A. Miller},
 year         = {1986},
 title        = {A Discrete Control Model of Operator Function: {A} Methodology for Information Display Design},
 journal      = {{IEEE} Trans. Systems, Man, and Cybernetics},
 volume       = {16},
 number       = {3},
 pages        = {343--357},
 doi          = {10.1109/TSMC.1986.4308966},
)
@article(DBLP:journals/sosym/MiyazawaRLCTW19,
 author       = {Alvaro Miyazawa and Pedro Ribeiro and Wei Li and Ana Cavalcanti and Jon Timmis and Jim Woodcock},
 year         = {2019},
 title        = {RoboChart: modelling and verification of the functional behaviour of robotic applications},
 journal      = {Software and Systems Modeling},
 volume       = {18},
 number       = {5},
 pages        = {3097--3149},
 doi          = {10.1145/197320.197322},
)
@inbook(Moher1995,
 author       = {Victor Moher, Thomas G.and Dirda},
 year         = {1995},
 title        = {Revising mental models to accommodate expectation failures in human-computer dialogues},
 pages        = {76--92},
 publisher    = {Springer Vienna},
 address      = {Vienna},
)
@article(MOSLEH2004241,
 author       = {A. Mosleh and Y.H. Chang},
 year         = {2004},
 title        = {Model-based human reliability analysis: prospects and requirements},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {83},
 number       = {2},
 pages        = {241 -- 253},
 doi          = {10.1016/j.ress.2003.09.014},
 note         = {Human Reliability Analysis: Data Issues and Errors of Commission},
)
@misc(tum,
 author       = {tum technische universitat munchen},
 year         = {2012},
 title        = {The TUM Kitchen Data Set},
 url          = {https://ias.in.tum.de/dokuwiki/software/kitchen-activity-data},
)
@article(Pan2016,
 author       = {Dan Pan and Matthew L. Bolton},
 year         = {2016},
 title        = {Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior},
 journal      = {International Journal of Industrial Ergonomics},
 pages        = {--},
)
@inproceedings(paterno1997concurtasktrees,
 author       = {Fabio Patern{\`{o}} and Cristiano Mancini and Silvia Meniconi},
 year         = {1997},
 title        = {ConcurTaskTrees: {A} Diagrammatic Notation for Specifying Task Models},
 editor       = {Steve Howard and Judy Hammond and Gitte Lindgaard},
 booktitle    = {Human-Computer Interaction, {INTERACT} '97, {IFIP} {TC13} Interantional Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney, Australia},
 series       = {{IFIP} Conference Proceedings},
 volume       = {96},
 publisher    = {Chapman {\&} Hall},
 pages        = {362--369},
)
@article(paterno2002preventing,
 author       = {Fabio Patern{\`o} and Carmen Santoro},
 year         = {2002},
 title        = {Preventing user errors by systematic analysis of deviations from the system task model},
 journal      = {International Journal of Human-Computer Studies},
 volume       = {56},
 number       = {2},
 pages        = {225--245},
 doi          = {10.1006/ijhc.2001.0523},
)
@inproceedings(DBLP:conf/interact/PocockHWJ01,
 author       = {Steven Pocock and Michael D. Harrison and Peter C. Wright and Paul Johnson},
 year         = {2001},
 title        = {{THEA:} {A} Technique for Human Error Assessment Early in Design},
 editor       = {Michitaka Hirose},
 booktitle    = {Human-Computer Interaction {INTERACT} '01: {IFIP} {TC13} International Conference on Human-Computer Interaction, Tokyo, Japan, July 9-13, 2001},
 publisher    = {{IOS} Press},
 pages        = {247--254},
)
@article(R201869,
 author       = {Gayathri R. and V. Uma},
 year         = {2018},
 title        = {Ontology based knowledge representation technique, domain modeling languages and planners for robotic path planning: A survey},
 journal      = {ICT Express},
 volume       = {4},
 number       = {2},
 pages        = {69 -- 74},
 doi          = {10.1016/j.icte.2018.04.008},
 note         = {SI on Artificial Intelligence and Machine Learning},
)
@book(reason1990human,
 author       = {James Reason},
 year         = {1990},
 title        = {Human error},
 publisher    = {Cambridge university press},
 doi          = {10.1017/CBO9781139062367},
)
@article(reason2000human,
 author       = {James Reason},
 year         = {2000},
 title        = {Human error: models and management},
 journal      = {BMJ: British Medical Journal},
 volume       = {320},
 number       = {7237},
 pages        = {768},
 doi          = {10.1136/bmj.320.7237.768},
)
@inproceedings(xyz,
 author       = {Pedro Ribeiro and Alvaro Miyazawa and Wei Li and Ana Cavalcanti and Jon Timmis},
 year         = {2017},
 title        = {Modelling and Verification of Timed Robotic Controllers},
 editor       = {Nadia Polikarpova and Steve Schneider},
 booktitle    = {Integrated Formal Methods},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {18--33},
 doi          = {10.1007/BFb0020949},
)
@article(RITTER20011,
 author       = {FRANK E. RITTER and RICHARD M. YOUNG},
 year         = {2001},
 title        = {Embodied models as simulated users: introduction to this special issue on using cognitive models to improve interface design},
 journal      = {International Journal of Human-Computer Studies},
 volume       = {55},
 number       = {1},
 pages        = {1 -- 14},
 doi          = {10.1006/ijhc.2001.0471},
)
@article(RuksenasBCB09,
 author       = {Rimvydas Ruksenas and Jonathan Back and Paul Curzon and Ann Blandford},
 year         = {2009},
 title        = {Verification-guided modelling of salience and cognitive load},
 journal      = {Formal Asp. Comput.},
 volume       = {21},
 number       = {6},
 pages        = {541--569},
 doi          = {10.1007/s00165-008-0102-7},
)
@inproceedings(Salvucci:2003,
 author       = {Dario D. Salvucci and Frank J. Lee},
 year         = {2003},
 title        = {Simple cognitive modeling in a complex cognitive architecture},
 editor       = {Gilbert Cockton and Panu Korhonen},
 booktitle    = {Proceedings of the 2003 Conference on Human Factors in Computing Systems, {CHI} 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003},
 publisher    = {{ACM}},
 pages        = {265--272},
 doi          = {10.1145/642611.642658},
)
@article(ShinWR06a,
 author       = {Dongmin Shin and Richard A. Wysk and Ling Rothrock},
 year         = {2006},
 title        = {Formal model of human material-handling tasks for control of manufacturing systems},
 journal      = {{IEEE} Trans. Systems, Man, and Cybernetics, Part {A}},
 volume       = {36},
 number       = {4},
 pages        = {685--696},
 doi          = {10.1109/TSMCA.2005.853490},
)
@book(Brahm,
 author       = {Maarten Sierhuis},
 year         = {2001},
 title        = {Modeling and simulating work practice: {BRAHMS}: a multiagent modeling and simulation language for work system analysis and design},
)
@inproceedings(Stocker2012,
 author       = {Richard Stocker and Louise Dennis and Clare Dixon and Michael Fisher},
 year         = {2012},
 title        = {Verifying Brahms Human-Robot Teamwork Models},
 booktitle    = {Logics in Artificial Intelligence: 13th European Conference, JELIA},
 doi          = {10.1023/A:1022920129859},
)
@techreport(swain1983handbook,
 author       = {Alan D Swain and Henry E Guttmann},
 year         = {1983},
 title        = {Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report},
 type         = {Technical Report},
 institution  = {Sandia National Labs., Albuquerque, NM (USA)},
)
@article(DBLP:journals/corr/TangJHG16,
 author       = {Bo Tang and Chao Jiang and Haibo He and Yi Guo},
 year         = {2016},
 title        = {Probabilistic human mobility model in indoor environment},
 pages        = {1601--1608},
 doi          = {10.1109/IJCNN.2016.7727389},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/7593175/proceeding},
)
@inproceedings(DBLP:conf/icra/TenorthTB13,
 author       = {Moritz Tenorth and Fernando De la Torre and Michael Beetz},
 year         = {2013},
 title        = {Learning probability distributions over partially-ordered human everyday activities},
 booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013},
 publisher    = {{IEEE}},
 pages        = {4539--4544},
 doi          = {10.1109/ICRA.2013.6631222},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/6615630/proceeding},
)
@inproceedings(Torre2009CMU-MMAC,
 author       = {Fernando de la Torre and Jessica K. Hodgins and Javier Montano and Sergio Valcarcel},
 year         = {2009},
 title        = {Detailed Human Data Acquisition of Kitchen Activities: the CMU-Multimodal Activity Database (CMU-MMAC)},
 booktitle    = {CHI 2009 Workshop. Developing Shared Home Behavior Datasets to Advance HCI and Ubiquitous Computing Research},
)
@article(DBLP:journals/trob/VicentiniARM20,
 author       = {Federico Vicentini and Mehrnoosh Askarpour and Matteo Rossi and Dino Mandrioli},
 year         = {2020},
 title        = {Safety Assessment of Collaborative Robotics Through Automated Formal Verification},
 journal      = {{IEEE} Trans. Robotics},
 volume       = {36},
 number       = {1},
 pages        = {42--61},
 doi          = {10.1109/TRO.2019.2937471},
)
@article(VISINSKY1994139,
 author       = {M.L. Visinsky and J.R. Cavallaro and I.D. Walker},
 year         = {1994},
 title        = {Robotic fault detection and fault tolerance: A survey},
 journal      = {Reliability Engineering \& System Safety},
 volume       = {46},
 number       = {2},
 pages        = {139 -- 158},
 doi          = {10.1016/0951-8320(94)90132-5},
)
@inproceedings(WertherS05,
 author       = {Bernd Werther and Eckehard Schnieder},
 year         = {2005},
 title        = {Formal Cognitive Resource Model: Modeling of human behavior in complex work environments},
 booktitle    = {2005 International Conference on Computational Intelligence for Modelling Control and Automation {(CIMCA} 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC} 2005), 28-30 November 2005, Vienna, Austria},
 publisher    = {{IEEE} Computer Society},
 pages        = {606--611},
 doi          = {10.1109/CIMCA.2005.1631535},
 url          = {https://ieeexplore.ieee.org/xpl/conhome/10869/proceeding},
)
@inproceedings(27540,
 author       = {J. C. Williams},
 year         = {1988},
 title        = {A data-based method for assessing and reducing human error to improve operational performance},
 booktitle    = {Conference Record for 1988 IEEE Fourth Conference on Human Factors and Power Plants,},
 pages        = {436--450},
 doi          = {10.1109/HFPP.1988.27540},
)