@techreport(RoSPA01,
 year         = "2001",
 title        = "Driver Fatigue and Road Accidents",
 type         = "Technical Report",
 number       = "BAE Research Report 12.1",
 institution  = "The Royal Society for the Prevention of Accidents",
)
@inproceedings(AlD11,
 author       = "M. Althoff and J. M. Dolan",
 year         = "2011",
 title        = "Set-based computation of vehicle behaviors for the online verification of autonomous vehicles",
 booktitle    = "14th International IEEE Conference on Intelligent Transportation Systems (ITSC)",
 publisher    = "IEEE",
 pages        = "1162--1167",
 doi          = "10.1109/ITSC.2011.6083052",
)
@article(BMP11,
 author       = "C. Baber and C. Morin and M. Parekh and M. Cahillane and R.J. Houghton",
 year         = "2011",
 title        = "Multimodal control of sensors on multiple simulated unmanned vehicles",
 journal      = "Ergonomics",
 volume       = "54",
 number       = "9",
 pages        = "792--805",
 doi          = "10.1080/00140139.2011.597516",
)
@inproceedings(BFG11,
 author       = "E. J. Bass and E. Gunter K. M. Feigh and J. Rushby",
 year         = "2011",
 title        = "Formal Modeling and Analysis for Interactive Hybrid Systems",
 booktitle    = "Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS), Electronic Communications of the EASST (ECEASST)",
 volume       = "45",
 publisher    = "EASST",
)
@incollection(CBM12,
 author       = "Marie Cahillane and Chris Baber and Caroline Morin",
 year         = "2012",
 title        = "Human Factors in UAVs",
 editor       = "Plamen Angelov",
 booktitle    = "Sense and Avoid in UAVs: Research and Applications",
 publisher    = "John Wiley and Sons",
 doi          = "10.1002/9781119964049.ch5",
)
@inproceedings(CMC10,
 author       = "Y. Cao and A. Mahr and S. Castronovo and M. Theune and C. Sthal and C. M{\"u}ller",
 year         = "2010",
 title        = "Local danger warnings for drivers: The effect of modality and level of assistance on driver reaction",
 booktitle    = "The International Conference on Intelligent User Interfaces (IUI)",
 publisher    = "ACM",
 address      = "Hong Kong, China",
 pages        = "239--248",
 doi          = "10.1145/1719970.1720004",
)
@book(Car11,
 editor       = "Pascale Carayon",
 year         = "2011",
 title        = "Handbook of Human Factors and Ergonomics in Health Care and Patient Safety",
 edition      = "second",
 publisher    = "CRC Press",
 doi          = "10.1201/b11219-3",
)
@inproceedings(Cer11,
 author       = "Antonio Cerone",
 year         = "2011",
 title        = "{Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems}",
 booktitle    = "{Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS), Electronic Communications of the EASST (ECEASST)}",
 volume       = "45",
)
@article(Che10,
 author       = "J. Y. C. Chen",
 year         = "2010",
 title        = "{UAV-guided Navigation for Ground Robot Tele-operation in a Military Reconnaissance Environment}",
 journal      = "Ergonomics",
 volume       = "53",
 number       = "8",
 pages        = "940--950",
 doi          = "10.1080/00140139.2010.500404",
)
@inproceedings(CKL04,
 author       = "E. Clarke and D. Kroening and F. Lerda",
 year         = "2004",
 title        = "A tool for checking ANSI-C programs",
 editor       = "K. Jensen and A. Podelski",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "2988",
 pages        = "168--176",
 doi          = "10.1007/978-3-540-24730-2\_15",
)
@inproceedings(Cra08,
 author       = "Lorrie Faith Cranor",
 year         = "2008",
 title        = "A Framework for Reasoning About the Human in the Loop",
 booktitle    = "Proceedindgs of the 1st Conference on Usability, Psychology and Security",
 publisher    = "USENIX",
 pages        = "1--15",
)
@article(CRB07,
 author       = "P. Curzon and R. Ruksenas and A. 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",
)
@techreport(FiS12,
 author       = "B. S. Fisher and S. Schnittger",
 year         = "2012",
 title        = "Autonomous and Remote Operation Technologies in the Mining Industry: Benefits and Costs",
 type         = "Technical Report",
 number       = "BAE Research Report 12.1",
 institution  = "BAEconomics",
)
@article(GSO11,
 author       = "P. Gershon and D. Shinar and T. Oron-Gilad and Y. Parmet and A. Ronen",
 year         = "2011",
 title        = "Usage and perceived effectiveness of fatigue countermeasures for professional and nonprofessional drivers",
 journal      = "Accident Analysis \& Prevention",
 volume       = "43",
 number       = "3",
 pages        = "797--803",
 doi          = "10.1016/j.aap.2010.10.027",
)
@article(GrM11,
 author       = "C.D. Griffith and S. Mahadevan",
 year         = "2011",
 title        = "Inclusion of fatigue effects in human reliability analysis",
 journal      = "Reliability Engineering and System Safety",
 pages        = "1437--1447",
 doi          = "10.1016/j.ress.2011.06.005",
)
@inproceedings(Lar10,
 author       = "Annika F.L. Larsson",
 year         = "2010",
 title        = "{Issues in Reclaiming Control from Advanced Driver Assistance Systems}",
 booktitle    = "{European Conference on Human Centred Design for Intelligent Transport Systems}",
 volume       = "2",
 pages        = "557--564",
)
@article(Lar12,
 author       = "Annika F.L. Larsson",
 year         = "2012",
 title        = "Driver usage and understanding of adaptive cruise control",
 journal      = "Applied Ergonomics",
 volume       = "43",
 number       = "3",
 pages        = "501 -- 506",
 doi          = "10.1016/j.apergo.2011.08.005",
)
@article(LDDW98,
 author       = "J.M. Lyznicki and T.C. Doege and R.M. Davis and M.A. Williams",
 year         = "1998",
 title        = "Sleepiness, Driving and Motor Vehicle Crashes",
 journal      = "Journal of the American Medical Association",
 volume       = "279",
 number       = "23",
 pages        = "1908--13",
 doi          = "10.1001/jama.279.23.1908",
)
@article(MMB01,
 author       = "Greg Marsden and Mike McDonald and Mark Brackstone",
 year         = "2001",
 title        = "Towards an understanding of adaptive cruise control",
 journal      = "Transportation Research Part C: Emerging Technologies",
 volume       = "9",
 number       = "1",
 pages        = "33 -- 51",
 doi          = "10.1016/S0968-090X(00)00022-X",
)
@article(Mil97,
 author       = "S. Milosevic",
 year         = "1997",
 title        = "{Driver Fatigue Studies}",
 journal      = "Ergonomics",
 volume       = "40",
 number       = "3",
 pages        = "381--389",
 doi          = "10.1080/001401397188215",
)
@article(MUP99,
 author       = "P. Moore and S. Ujvari and J. Pu and J-O. Lundgren and C. Xie",
 year         = "1999",
 title        = "Intelligent semi-autonomous vehicles in materials handling",
 journal      = "Mechatronics",
 volume       = "9",
 number       = "7",
 pages        = "881--892",
 doi          = "10.1016/S0957-4158(99)00027-6",
)
@book(Nor07,
 editor       = "D.A. Norman",
 year         = "2007",
 title        = "The Design of Future Things: Author of The Design of Everyday Things",
 edition      = "first",
 publisher    = "Basic Books",
)
@article(OpS11,
 author       = "I. Oppenheim and D. Shinar",
 year         = "2011",
 title        = "A context-sensitive model of driving behaviour and its implications for in-vehicle safety systems",
 journal      = "Cognition, Technology and Work",
 pages        = "1--21",
 doi          = "10.1007/s10111-011-0178-3",
)
@article(OrR07,
 author       = "T. Oron-Gilad and A. Ronen",
 year         = "2007",
 title        = "Road Characteristics and Driver Fatigue: A Simulator Study",
 journal      = "Traffic Injury Prevention",
 volume       = "8",
 number       = "3",
 pages        = "281--289",
 doi          = "10.1080/15389580701354318",
)
@article(RaW89,
 author       = "P. J. G. Ramadge and W. M. Wonham",
 year         = "1989",
 title        = "{The Control of Discrete Event Systems}",
 journal      = "Proceedings of the IEEE",
 volume       = "77",
 number       = "1",
 pages        = "81--98",
 doi          = "10.1109/5.21072",
)
@inproceedings(RMS08,
 author       = "A. Rauschert and C. Meitinger and A. Schulte",
 year         = "2008",
 title        = "Experimentally Discovered Operator Assistance Needs in the Guidance of Cognitive and Cooperative UAVs",
 booktitle    = "Conference on Humans Operating Unmanned Systems (HUMOUS´08)",
)
@inproceedings(RPI08,
 author       = "Mitchell M. Rohde and Victor E. Perlin and Karl D. Iagnemma and Robert M. Lupa and Steven M. Rohde and James Overholt and Graham Fiorani",
 year         = "2008",
 title        = "PointCom: Semi-Autonomous UGV Control with Intuitive Interface",
 booktitle    = "Proc. SPIE 6962, Unmanned Systems Technology X",
 doi          = "10.1117/12.777163",
)
@article(Rus02,
 author       = "John Rushby",
 year         = "2002",
 title        = "Using model checking to help discover mode confusions and other automation surprises",
 journal      = "Reliability Engineering \& System Safety",
 volume       = "75",
 number       = "2",
 pages        = "167 -- 177",
 doi          = "10.1016/S0951-8320(01)00092-8",
)
@inproceedings(SAY04,
 author       = "J. Scholtz and B. Antonishek and J. Young",
 year         = "2004",
 title        = "Operator interventions in autonomous off-road driving: effects of terrain",
 booktitle    = "International Conference on Systems, Man and Cybernetics",
 volume       = "3",
 publisher    = "IEEE",
 pages        = "2797--2802",
 doi          = "10.1109/ICSMC.2004.1400756",
)
@inproceedings(SKC07,
 author       = "Siraj Ahmed Shaikh and Padmanabhan Krishnan and Antonio Cerone",
 year         = "2007",
 title        = "{A Formal Approach to Human Error Recovery}",
 editor       = "Paul Curzon and Antonio Cerone",
 booktitle    = "Preproceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, September 4, 2007 (as a satellite event of HCI 2007)",
 series       = "Technical Report RR-07-08",
 publisher    = "Department of Computer Science, Queen Mary, University of London",
 pages        = "101--115",
)
@phdthesis(She09,
 author       = "G. K. Shelton-Rayner",
 year         = "2009",
 title        = "Quantifying exposure to psychological and physiological stress and automotive design",
 school       = "Coventry University",
)
@article(SMC11,
 author       = "G. K. Shelton-Rayner and R. Mian and S. Chandler and D. Robertson and David W. Macdonald",
 year         = "2011",
 title        = "Quantitative Physiological Assessment of Stress Via Altered Immune Functioning Following Interaction With Differing Automotive Interface Technologies",
 journal      = "International Journal of Human-Computer Interaction",
 volume       = "27",
 number       = "9",
 pages        = "900--919",
 doi          = "10.1080/10447318.2011.555312",
)
@article(StM96,
 author       = "N. A. Stanton and P. Marsden",
 year         = "1996",
 title        = "From fly-by-wire to drive-by-wire: safety implications of automation in vehicles",
 journal      = "Safety Science",
 volume       = "24",
 pages        = "35--49",
 doi          = "10.1016/S0925-7535(96)00067-7",
)
@article(SYo00,
 author       = "Neville A. Stanton and Mark S. Young",
 year         = "2000",
 title        = "A proposed psychological model of driving automation",
 journal      = "Theoretical Issues in Ergonomics Science",
 volume       = "1",
 number       = "4",
 pages        = "315--331",
 doi          = "10.1080/14639220052399131",
)
@article(SYo05,
 author       = "Neville A. Stanton and Mark S. Young",
 year         = "2005",
 title        = "Driver behaviour with adaptive cruise control",
 journal      = "Ergonomics",
 volume       = "48",
 number       = "10",
 pages        = "1294--1313",
 doi          = "10.1080/00140130500252990",
)
@article(ThB03,
 author       = "P. Thiffault and J. Bergeron",
 year         = "2003",
 title        = "Monotony of road environment and driver fatigue: a simulator study",
 journal      = "Accident Analysis \& Prevention",
 volume       = "35",
 number       = "3",
 pages        = "381--391",
 doi          = "10.1016/S0001-4575(02)00014-3",
)
@inproceedings(VHA08,
 author       = "F. Viti and S.P. Hoogendoorn and T.P. Alkim and G. Bootsma",
 year         = "2008",
 title        = "Driving behavior interaction with ACC: results from a Field Operational Test in the Netherlands",
 booktitle    = "Intelligent Vehicles Symposium, 2008 IEEE",
 pages        = "745--750",
 doi          = "10.1109/IVS.2008.4621199",
)
@article(VSG11,
 author       = "Mark Vollrath and Susanne Schleicher and Christhard Gelau",
 year         = "2011",
 title        = "The influence of Cruise Control and Adaptive Cruise Control on driving behaviour - A driving simulator study",
 journal      = "Accident Analysis \& Prevention",
 volume       = "43",
 number       = "3",
 pages        = "1134 -- 1139",
 doi          = "10.1016/j.aap.2010.12.023",
)