References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org