%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/
%% Created for Michael Holloway at 2009-01-08 13:12:29 -0500 
%% Saved with string encoding Western (ASCII) 

@inproceedings{2008-10-cmh-notations,
	Address = {NEC, Birmingham, UK},
	Author = {C. M. Holloway},
	Booktitle = {Third IET Systems Safety Conference},
	Date-Added = {2008-12-11 12:46:21 -0500},
	Date-Modified = {2009-01-08 12:54:38 -0500},
	Keywords = {safety, notations, argument},
	Month = {October},
	Publisher = {The Institution of Engineering and Technology},
	Title = {Safety Case Notations: Alternatives for the Non-Graphically Inclined?},
	Url = {http://www.cs.virginia.edu/~cmh7p/ietss08-notations.pdf},
	Year = {2008}}

@inproceedings{2008-10-cmh-cj-loc,
	Address = {NEC, Birmingham, UK},
	Author = {C.M. Holloway and C.W. Johnson},
	Booktitle = {Third IET Systems Safety Conference},
	Date-Modified = {2009-01-08 13:11:02 -0500},
	Keywords = {safety, accident, aviation, epistemology},
	Month = {October},
	Publisher = {The Institution of Engineering and Technology},
	Title = {How Past Loss of Control Accidents May Inform Safety Cases for Advanced Control Systems on Commercial Aircraft},
	Url = {http://www.cs.virginia.edu/~cmh7p/ietss08-accidents.pdf},
	Year = {2008}}

@inproceedings{2008-08-cj-cs-cmh-gps,
	Address = {Vancouver, Canada},
	Author = {C.W. Johnson and C. Shea and C.M. Holloway},
	Booktitle = {Proceedings of the 26th International Conference on Systems Safety},
	Date-Modified = {2009-01-08 12:55:32 -0500},
	Keywords = {safety, GPS},
	Month = {August},
	Publisher = {International System Safety Society},
	Title = {The Role of Trust and Interaction in {GPS} Related Accidents: A Human Factors Safety Assessment of the Global Positioning System ({GPS})},
	Year = {2008}}

@article{2008-01-cj-cmh-history,
	Address = {Newcastle, UK},
	Author = {C.W. Johnson and C.M. Holloway},
	Date-Modified = {2009-01-08 12:57:51 -0500},
	Editor = {F. Redmill},
	Journal = {Safety Systems},
	Keywords = {accident, aviation},
	Month = {January},
	Note = {Invited Paper for 50th Edition of Newsletter},
	Number = {2},
	Publisher = {UK Safety Critical Systems Club},
	Title = {A Historical Perspective on Aviation Accident Investigation},
	Volume = {17},
	Year = {2008}}

@inproceedings{2007-10-cmh-cj-early,
	Address = {Savoy Place, London, UK},
	Author = {C.M. Holloway and C.W. Johnson},
	Booktitle = {2nd IET Systems Safety Conference},
	Date-Modified = {2009-01-08 12:58:03 -0500},
	Keywords = {accident, aviation},
	Month = {October},
	Pages = {235-240},
	Publisher = {Institution for Engineeering and Technology},
	Title = {A Look at Aircraft Accident Investigation in the Early Days: Do Early 20th Century Accident Investgation Techniques Have Any Lessons for Today?},
	Url = {http://www.cs.virginia.edu/~cmh7p/ietss07-naca-4web.pdf},
	Year = {2007}}

@inproceedings{2007-10-cj-cmh-b777,
	Address = {Savoy Place, London, UK},
	Author = {C.W. Johnson and C.M. Holloway},
	Booktitle = {2nd IET Systems Safety Conference},
	Date-Modified = {2009-01-08 12:58:13 -0500},
	Keywords = {accident, software, safety, aviation},
	Month = {October},
	Pages = {60-65},
	Publisher = {The Institution of Engineering and Technology},
	Title = {The Dangers of Failure Masking in Fault Tolerant Software: Aspects of a Recent In-Flight Upset Event},
	Url = {http://www.cs.virginia.edu/~cmh7p/ietss07-777-4web.pdf},
	Year = {2007}}

@inproceedings{2007-07-cj-cmh-marine,
	Address = {London UK},
	Author = {C.W. Johnson and C.M. Holloway},
	Booktitle = {The Safety of Systems: Proceedings of the 15th Safety-Critical Systems Symposium},
	Date-Modified = {2009-01-08 12:57:26 -0500},
	Editor = {F. Redmill and T. Anderson},
	Isbn = {978-1-84628-805-0},
	Keywords = {accident, safety, marine},
	Month = {February},
	Pages = {85-104},
	Publisher = {Springer-Verlag},
	Title = {A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the {USA} and {C}anada (1996-2006)},
	Url = {http://www.cs.virginia.edu/~cmh7p/SSS-marine-paper-4web.pdf},
	Year = {2007}}

@inproceedings{2006-07-fallacies,
	Address = {Albuquerque, New Mexico},
	Author = {William S. Greenwell and John C. Knight and  Jacob J. Pease and C. Michael Holloway},
	Booktitle = {24th International System Safety Conference },
	Date-Added = {2008-12-11 13:09:07 -0500},
	Date-Modified = {2009-01-08 12:58:29 -0500},
	Keywords = {safety, argument},
	Month = {31 July - 4 August},
	Organization = {System Safety Society},
	Title = {A Taxonomy of Fallacies in System Safety Arguments},
	Url = {http://www.cs.virginia.edu/~cmh7p/paper-issc06-fallacies-as-printed.pdf},
	Year = {2006}}

@unpublished{2006-07-cmh-faa,
	Author = {C. Michael Holloway},
	Date-Added = {2008-12-11 13:12:24 -0500},
	Date-Modified = {2009-01-08 12:58:47 -0500},
	Keywords = {safety, accident, software, aviation},
	Month = {June},
	Note = {Invited talk at the 2006 FAA Software and Complex Electronic Hardward Standardization Conference, Atlanta, Georgia},
	Title = {Software and Accidents: A Discussion about the Past \& Speculation about the Future},
	Year = {2006}}

@inproceedings{2006-06-cmh-keynote,
	Address = {Savoy Place, London},
	Author = {C. M. Holloway},
	Booktitle = {The First IET International Conference on System Safety},
	Date-Added = {2008-12-11 12:55:20 -0500},
	Date-Modified = {2009-01-08 12:58:59 -0500},
	Keywords = {safety, argument},
	Month = {June},
	Publisher = {The Institution of Engineering and Technology},
	Title = {Safety, Risk, and Other Misunderstood Ideas},
	Year = {2006}}

@inproceedings{2006-06-cmh-cj-read,
	Address = {Savoy Place, London},
	Author = {C.M. Holloway and C.W. Johnson},
	Booktitle = {The First IET International Conference on System Safety},
	Date-Modified = {2009-01-08 13:11:16 -0500},
	Keywords = {accident, transportation, epistemology},
	Month = {June},
	Pages = {325-331},
	Publisher = {The Institution of Engineering and Technology},
	Title = {Why System Safety Professionals Should Read Accident Reports},
	Url = {http://www.cs.virginia.edu/~cmh7p/iet2006-reading.pdf},
	Year = {2006}}

@inproceedings{2006-06-cj-cmh-question,
	Address = {Savoy Place, London},
	Author = {C.W. Johnson and C.M. Holloway},
	Booktitle = {The First IET International Conference on System Safety},
	Date-Modified = {2009-01-08 12:59:33 -0500},
	Keywords = {safety, accident, software},
	Month = {June},
	Pages = {352-360},
	Publisher = {The Institution of Engineering and Technology},
	Title = {Questioning the Role of Requirements Engineering in the Causes of Safety-Critical Software Failures},
	Url = {http://www.cs.virginia.edu/~cmh7p/iet2006-requires.pdf},
	Year = {2006}}

@inproceedings{2005-kjh-cmh-visions,
	Address = {Arlington, Virginia},
	Author = {Kelly J. Hayhurst and C. Michael Holloway},
	Booktitle = {Infotech@Aerospace},
	Date-Added = {2008-12-11 13:55:03 -0500},
	Date-Modified = {2009-01-08 12:59:46 -0500},
	Keywords = {software, certification},
	Month = {September},
	Note = {The version that passed through NASA review is not very good; an earlier, unpublished version is much better},
	Title = {Visions of Automation and Realities of Certification},
	Year = {2005}}

@unpublished{2005-faa-reading,
	Author = {C. Michael Holloway},
	Date-Added = {2008-12-11 13:57:15 -0500},
	Date-Modified = {2009-01-08 13:11:27 -0500},
	Keywords = {safety, accident, transportation, epistemology},
	Month = {July},
	Note = {Invited Talk at the 2005 FAA Software and Complex Electronic Hardware Standardization Conference, Norfolk, Virginia},
	Title = {Why You Should Read Accident Reports},
	Year = {2005}}

@inproceedings{2005-cmh-cj-orgs,
	Address = {San Diego, California},
	Author = {C.M. Holloway and C.W. Johnson},
	Booktitle = {23rd International System Safety Conference},
	Date-Modified = {2009-01-08 13:00:33 -0500},
	Keywords = {accident, safety, transportation},
	Month = {August},
	Publisher = {System Safety Society},
	Title = {On the Prevalence of Organizational Factors in Recent {U.S.} Transportation Accidents},
	Url = {http://www.cs.virginia.edu/~cmh7p/issc05-cmhcwj-ntsbanalysis.pdf},
	Year = {2005}}

@inproceedings{2005-cj-cmh-showing,
	Address = {San Diego, California},
	Author = {C.W. Johnson and C.M. Holloway},
	Booktitle = {23rd International System Safety Conference},
	Date-Modified = {2009-01-08 13:09:30 -0500},
	Keywords = {accident, argument, epistemology},
	Month = {August},
	Publisher = {System Safety Society},
	Title = {A Technique for Showing Causal Arguments in Accident Reports},
	Url = {http://www.cs.virginia.edu/~cmh7p/issc05-cwjcmh-busacci.pdf},
	Year = {2005}}

@techreport{2004-fallacy-tech-report,
	Author = {William S. Greenwell and John C. Knight and C. Michael Holloway},
	Date-Added = {2008-12-11 13:59:09 -0500},
	Date-Modified = {2009-01-08 13:09:44 -0500},
	Institution = {University of Virginia Department of Computer Science},
	Keywords = {safety, argument, epistemology},
	Month = {December},
	Number = {CS-2005-02},
	Title = {A Taxonomy of Fallacies in System Safety Arguments},
	Type = {Technical Report},
	Url = {http://www.cs.virginia.edu/~techrep/CS-2005-02.pdf},
	Year = {2004}}

@inproceedings{2004-cmh-cj-ntsb,
	Address = {Providence, Rhode Island},
	Author = {C.M. Holloway and C.W. Johnson},
	Booktitle = {22nd International System Safety Conference},
	Date-Modified = {2009-01-08 13:01:32 -0500},
	Keywords = {accident, safety, aviation},
	Month = {August},
	Publisher = {System Safety Society},
	Title = {Distribution of Causes in Selected US Aviation Accident Reports Between 1996 and 2003},
	Url = {http://www.cs.virginia.edu/~cmh7p/issc04-cmhcj-ntsb.pdf},
	Year = {2004}}

@inproceedings{2004-cj-cmh-tsb,
	Address = {Toulouse, France},
	Author = {C.W. Johnson and C.M. Holloway},
	Booktitle = {HCI in Aerospace 2004},
	Date-Modified = {2009-01-08 13:01:54 -0500},
	Editors = {A. Pritchett and A. Jackson},
	Keywords = {safety, accident, aviation},
	Month = {September},
	Pages = {25-32},
	Publisher = {EURISCO},
	Title = {`{S}ystemic Failures' and `Human Error' in {C}anadian {TSB} Aviation Accident Reports between 1996 and 2002},
	Url = {http://hdl.handle.net/2060/20040139600},
	Year = {2004}}

@proceedings{2003-iria2003,
	Address = {NASA/CP-2003-212642, Hampton, Virginia},
	Date-Added = {2008-12-11 14:45:49 -0500},
	Date-Modified = {2009-01-08 13:02:05 -0500},
	Editor = {Kelly J. Hayhurst and C. Michael Holloway},
	Keywords = {accident},
	Month = {September},
	Publisher = {NASA Langley Research Center},
	Title = {Proceedings of the Second Workshop on the Investigation and Reporting of Incidents and Accidents},
	Url = {http://shemesh.larc.nasa.gov/iria03/},
	Year = {2003}}

@inproceedings{2003-dasc-oo,
	Address = {Indianapolis, Indiana},
	Author = {Kelly J. Hayhurst and C. Michael Holloway},
	Booktitle = {22nd Digital Avionics Systems Conference},
	Date-Added = {2008-12-11 14:02:53 -0500},
	Date-Modified = {2009-01-08 13:02:22 -0500},
	Keywords = {aviation, software},
	Month = {October 12-16},
	Pages = {paper 3.B.1},
	Title = {Considering Object Oriented Technology in Aviation Applications},
	Url = {http://hdl.handle.net/2060/20040034209},
	Year = {2003}}

@article{2003-cj-cmh-stamp,
	Author = {C.W. Johnson and C.M. Holloway},
	Date-Modified = {2009-01-08 13:02:38 -0500},
	Journal = {Software: Practice and Experience},
	Keywords = {accident, software, space},
	Month = {July},
	Pages = {1177-1198},
	Title = {The {ESA/NASA} {SOHO} Mission Interruption: Using the {STAMP} Accident Analysis Technique for a Software Related `Mishap'},
	Url = {http://www.dcs.gla.ac.uk/~johnson/papers/STAMP.pdf},
	Volume = {33},
	Year = {2003}}

@inproceedings{2003-cj-cmh-logics2,
	Address = {Ottawa, Ontario, Canada},
	Author = {C.W. Johnson and C.M. Holloway},
	Booktitle = {21st International System Safety Conference},
	Date-Modified = {2009-01-08 13:09:55 -0500},
	Editors = {G. Einarsson and B. Fletcher},
	Keywords = {accident, argument, logic, notations, epistemology},
	Month = {August},
	Pages = {1133-1142},
	Publisher = {System Safety Society},
	Title = {The Strengths and Weaknesses of Logic Formalisms to Support the Causal Analysis of Mishaps},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/formalisms-final.pdf},
	Year = {2003}}

@article{2003-cj-cmh-logics,
	Author = {C.W. Johnson and C.M. Holloway},
	Date-Modified = {2009-01-08 13:10:03 -0500},
	Journal = {Reliability Engineering and Systems Safety journal},
	Keywords = {accident, argument, logic, notations, epistemology},
	Number = {3},
	Pages = {271-291},
	Title = {A Survey of Logic Formalisms to Support Mishap Analysis},
	Volume = {80},
	Year = {2003}}

@inproceedings{2003-blueprint,
	Address = {Ottawa, Ontario, Canada},
	Author = {C. Michael Holloway and Kelly J. Hayhurst},
	Booktitle = {21st International System Safety Conference},
	Date-Added = {2008-12-11 14:05:04 -0500},
	Date-Modified = {2009-01-08 13:03:26 -0500},
	Editor = {G. Einarsson and B. Fletcher},
	Keywords = {aviation, software, safety},
	Month = {August},
	Pages = {1183-1192},
	Publisher = {System Safety Society},
	Title = {Software System Safety \& the {NASA} Aeronautics Blueprint},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/blueprint-final.pdf},
	Year = {2003}}

@article{2002-sc190,
	Author = {Kelly J. Hayhurst and C. Michael Holloway},
	Date-Added = {2008-12-11 14:09:16 -0500},
	Date-Modified = {2009-01-08 13:03:40 -0500},
	Journal = {IEEE Software},
	Keywords = {aviation, software, certification},
	Month = {September/October},
	Number = {5},
	Title = {Aviation Software Guidelines},
	Volume = {19},
	Year = {2002}}

@inproceedings{2002-ludd,
	Address = {Denver, Colorado},
	Author = {C. Michael Holloway},
	Booktitle = {20th International System Safety Conference},
	Date-Added = {2008-12-11 14:11:10 -0500},
	Date-Modified = {2009-01-08 13:10:15 -0500},
	Keywords = {safety, software, accident, argument, certification, aviation, epistemology},
	Month = {August},
	Note = {An earlier version of this paper was presented at the 2nd meeting of the U.S. Software System Safety Working Group, Cambridge, MA, 19-20 February 2002},
	Organization = {System Safety Society},
	Title = {Issues in Software Safety: {P}olly {A}nn {S}mith {C}o. v. {N}ed {I}. {L}udd},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/SvL/},
	Year = {2002}}

@inproceedings{2002-kh-jck-cmh-natural,
	Address = {Glasgow, Scotland},
	Author = {Kimberly Hanks and John C. Knight and C. Michael Holloway},
	Booktitle = {First Workshop on the Investigation and Reporting of Incidents and Accidents},
	Date-Added = {2008-12-11 12:58:03 -0500},
	Date-Modified = {2009-01-08 13:04:27 -0500},
	Keywords = {accident},
	Month = {July},
	Publisher = {University of Glasgow},
	Title = {The Role of Natural Language in Accident Investigation and Reporting Guidelines},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/hanksiria.pdf},
	Year = {2002}}

@inproceedings{2001-kjh-cmh-challenges,
	Address = {Greenbelt, Maryland},
	Author = {Kelly J. Hayhurst and C. Michael Holloway},
	Booktitle = {26th Annual NASA Goddard Software Engineering Workshop},
	Date-Added = {2008-12-11 13:00:34 -0500},
	Date-Modified = {2009-01-08 13:04:40 -0500},
	Keywords = {software, aviation, certification},
	Month = {November},
	Pages = {7-13},
	Title = {Challenges in Software Aspects of Aviation Systems},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/sew2001/},
	Year = {2001}}

@proceedings{2000-lfm200,
	Address = {NASA/CP-2000-210100, Hampton, Virginia},
	Date-Added = {2008-12-11 14:47:33 -0500},
	Date-Modified = {2009-01-08 13:04:52 -0500},
	Editor = {C. Michael Holloway},
	Keywords = {logic},
	Month = {June},
	Publisher = {NASA Langley Research Center},
	Title = {Lfm2000: Fifth NASA Langley Formal Methods Workshop},
	Year = {2000}}

@unpublished{1999-wba,
	Author = {C. Michael Holloway},
	Date-Added = {2008-12-11 14:38:10 -0500},
	Date-Modified = {2009-01-08 13:05:16 -0500},
	Keywords = {accident, logic, notations},
	Month = {March},
	Note = {A talk delivered to my branch},
	Title = {An Overview of Why ... Because Analysis ({WBA})},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/WBA/},
	Year = {1999}}

@article{1999-vtech-sees,
	Author = {James D. Arthur and Markus K. Groner and Kelly J. Hayhurst and C. Michael Holloway},
	Date-Added = {2008-12-11 13:04:51 -0500},
	Date-Modified = {2009-01-08 13:05:58 -0500},
	Journal = {IEEE Computer},
	Keywords = {software},
	Month = {October},
	Number = {10},
	Pages = {79-83},
	Title = {Evaluating the Effectiveness of Independent Verification and Validation},
	Volume = {32},
	Year = {1999}}

@unpublished{1999-talk-self-deception,
	Author = {C. Michael Holloway},
	Date-Added = {2008-12-11 14:36:20 -0500},
	Date-Modified = {2009-01-08 13:10:28 -0500},
	Keywords = {argument, epistemology},
	Month = {May},
	Note = {A talk delivered to my branch},
	Title = {Applying the Results of 'A Conditional Resolution of the Apparent Paradox of Self-Deception' to Research},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/self-deception/},
	Year = {1999}}

@inproceedings{1999-bridges,
	Address = {Orlando, Florida},
	Author = {C. Michael Holloway},
	Booktitle = {17th International System Safety Conference},
	Date-Added = {2008-12-11 14:13:57 -0500},
	Date-Modified = {2009-01-08 13:10:43 -0500},
	Keywords = {safety, argument, space, software, epistemology},
	Month = {August},
	Note = {An invited presentation based on this paper was also given to the 2001 MAPLD Conference},
	Organization = {System Safety Society},
	Pages = {598-607},
	Title = {From Bridges and Rockets, Lessons for Software Systems},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/ISSC99/},
	Year = {1999}}

@techreport{1998-ssac,
	Author = {Kelly J. Hayhurst and C. Michael Holloway and Cheryl A. Dorsey and John C. Knight and Nancy G. Leveson and G. Frank McCormick and Jeffrey C. Yang},
	Date-Added = {2008-12-11 14:18:52 -0500},
	Date-Modified = {2009-01-08 13:06:43 -0500},
	Institution = {NASA Langley Research Center},
	Keywords = {software, certification},
	Month = {April},
	Number = {TM-1998-207648},
	Title = {Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop},
	Type = {Technical Memorandum},
	Url = {http://hdl.handle.net/2060/19980197325},
	Year = {1998}}

@inproceedings{1997-why-fm,
	Address = {Irvine, CA},
	Author = {C. Michael Holloway},
	Booktitle = {16th AIAA/IEEE Digital Avionics Systems Conference},
	Date-Added = {2008-12-11 14:21:46 -0500},
	Date-Modified = {2009-01-08 13:07:08 -0500},
	Keywords = {logic},
	Month = {October},
	Pages = {1.3-16 - 1.3.-22},
	Title = {Why Engineers Should Consider Formal Methods},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/DASC97/},
	Volume = {1},
	Year = {1997}}

@proceedings{1997-lfm97,
	Address = {NASA Conference Publication 3356, Hampton, Virginia},
	Date-Added = {2008-12-11 14:49:01 -0500},
	Date-Modified = {2009-01-08 13:07:16 -0500},
	Editor = {C. Michael Holloway and Kelly J. Hayhurst},
	Keywords = {logic},
	Month = {September},
	Publisher = {NASA Langley Research Center},
	Title = {Lfm97: Fourth NASA Langley Formal Methods Workshop},
	Year = {1997}}

@article{1996-fm-impeds,
	Author = {C. Michael Holloway and Ricky W. Butler},
	Date-Added = {2008-12-11 13:06:31 -0500},
	Date-Modified = {2009-01-08 13:07:24 -0500},
	Journal = {IEEE Computer},
	Keywords = {logic},
	Month = {April},
	Number = {4},
	Pages = {25-26},
	Title = {Impediments to Industrial Use of Formal Methods},
	Url = {http://shemesh.larc.nasa.gov/fm/fm-paper-ieee-roundtable.html},
	Volume = {29},
	Year = {1996}}

@article{1995-epistemology,
	Author = {C. Michael Holloway},
	Date-Added = {2008-12-11 14:29:12 -0500},
	Date-Modified = {2009-01-08 13:07:37 -0500},
	Journal = {Software Engineering Notes},
	Keywords = {software, epistemology},
	Month = {April},
	Number = {2},
	Title = {Software Engineering and Epistemology},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/epse-sen95.html},
	Volume = {20},
	Year = {1995}}

@inproceedings{1995-compass,
	Address = {Gaithersburg, MD},
	Author = {Ricky Butler and James Caldwell and Victor Carreno and Michael Holloway and Paul Miner and Ben DiVito},
	Booktitle = {10th Annual Conference on Computer Assurance (COMPASS 95)},
	Date-Added = {2008-12-11 14:26:02 -0500},
	Date-Modified = {2009-01-08 13:07:45 -0500},
	Keywords = {logic},
	Month = {June},
	Title = {NASA Langley's Research and Technology Transfer Program in Formal Methods},
	Url = {http://hdl.handle.net/2060/20040111237},
	Year = {1995}}

@inproceedings{1995-ada,
	Author = {C. Michael Holloway},
	Booktitle = {14th AIAA/IEEE Digital Avionics Systems Conference},
	Date-Added = {2008-12-11 14:24:10 -0500},
	Date-Modified = {2009-01-08 13:08:03 -0500},
	Keywords = {software, safety, notations},
	Month = {November},
	Pages = {504-509},
	Title = {Ada 95 and Safety-Critical Software},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/DASC95/},
	Year = {1995}}

@proceedings{1995-3rd-fmw,
	Address = {NASA Conference Publication 10176, Hampton, Virginia},
	Date-Added = {2008-12-11 14:50:44 -0500},
	Date-Modified = {2009-01-08 13:08:17 -0500},
	Editor = {C. Michael Holloway},
	Keywords = {logic},
	Month = {June},
	Publisher = {NASA Langley Research Center},
	Title = {Third NASA Langley Formal Methods Workshop},
	Year = {1995}}

@unpublished{1994-tri-ada,
	Author = {C. Michael Holloway and Ben DiVito and David Guaspari and Michael Smith},
	Date-Added = {2008-12-11 14:40:48 -0500},
	Date-Modified = {2009-01-08 13:08:36 -0500},
	Keywords = {logic, notations},
	Month = {November},
	Note = {Panel Summary and Position Papers in TRI-Ada'94, Baltimore, Maryland},
	Title = {Formal Methods: Fact vs. Fiction},
	Url = {http://shemesh.larc.nasa.gov/fm/paper-tri-ada.html},
	Year = {1994}}

@techreport{1994-rcp,
	Author = {Ricky W. Butler and Ben L. DiVito and C. Michael Holloway},
	Date-Added = {2008-12-11 14:32:29 -0500},
	Date-Modified = {2009-01-08 13:08:23 -0500},
	Institution = {NASA Lan},
	Keywords = {logic},
	Month = {August},
	Number = {109140},
	Title = {Formal Design and Verification of a Reliable Computing Platform for Real-Time Control (Phase 3 Results)},
	Type = {Technical Memorandum},
	Year = {1994}}

@inproceedings{1994-epistemology,
	Address = {NASA Conference Publication 10159},
	Author = {C. Michael Holloway},
	Booktitle = {The Role of Computers in Research and Development at Langley Research Center},
	Date-Added = {2008-12-11 14:42:41 -0500},
	Date-Modified = {2009-01-08 13:08:51 -0500},
	Keywords = {software, epistemology},
	Month = {October},
	Note = {Extended abstract and presentation},
	Pages = {570-595},
	Title = {Epistemology, Software Engineering, and Formal Methods},
	Url = {http://shemesh.larc.nasa.gov/people/cmh/epsefm-tcabst.html},
	Year = {1994}}

@techreport{1992-dragoon,
	Author = {C. Michael Holloway},
	Date-Added = {2008-12-11 13:07:40 -0500},
	Date-Modified = {2009-01-08 13:09:02 -0500},
	Institution = {NASA Langley Research Center},
	Keywords = {software, notations},
	Month = {July},
	Number = {4385},
	Title = {The Syntax of {D}ragoon: Evaluation and Recommendations},
	Type = {Technical Memorandum},
	Url = {http://hdl.handle.net/2060/19920024004},
	Year = {1992}}

@proceedings{1992-2nd-fmw,
	Address = {NASA Conference Publication 10110, Hampton, Virginia},
	Date-Added = {2008-12-11 14:51:37 -0500},
	Date-Modified = {2009-01-08 13:09:10 -0500},
	Editor = {Sally C. Johnson and C. Michael Holloway and Ricky W. Butler},
	Keywords = {logic},
	Month = {November},
	Publisher = {NASA Langley Research Center},
	Title = {Second NASA Langley Formal Methods Workshop},
	Year = {1992}}