!!Michael Hinchey - Selected publications
\\
h-index 31 [http://scholar.google.co.uk/citations?user=lAojBUsAAAAJ&hl=en]
\\
\\
Emil Vassev and Mike Hinchey, Autonomy Requirements Engineering for Space Missions, Springer, NASA Monographs in Systems and Software Engineering, 2015, to appear.\\
 \\
Walter F. Truszkowski, Christopher A. Rouff, Lou Hallock, Jay Karlin, James L. Rash, Michael G. Hinchey and Roy Sterritt, Autonomous and Autonomic Systems: with application to NASA intelligent space exploration missions, Springer, NASA Monographs in Systems and Software Engineering, 2009.  Republished in Chinese.  [[team leader]\\
\\
Michael G. Hinchey and Jonathan P. Bowen, High-Integrity System Specification and Design, Springer-Verlag, London, 1999 [[co-main author]\\
\\
Michael G. Hinchey and Stephen A. Jarvis, Concurrent Systems: Formal Development in CSP, McGraw-Hill International Series in Software Engineering, London and New York, 1995. [[main author]\\
\\
Mike Hinchey and Lorcan Coyle, editors, Conquering Complexity, 2012, Springer with a foreword by Sir Roger Penrose.\\
\\
Chris Rouff and Mike Hinchey, editors, Experiences from the DARPA Grand Challenge, 2012, Springer with a foreword by Dr. T. Tether, DARPA Director.\\
\\
Christopher A. Rouff, Michael G. Hinchey, Walter F. Truszkowski, Diana Spears, editors, Agent Technology from a Formal Perspective, Springer Verlag NASA Monographs in Systems and Software Engineering, September 2005.\\
\\
Michael G. Hinchey and Jonathan P. Bowen, editors, Industrial-Strength Formal Methods in Practice, Springer-Verlag, London, 1999; with a foreword by Michael A. Jackson\\
\\
Michael G. Hinchey and C. Neville Dean, editors, Teaching and Learning Formal Methods, Academic Press International Series in Formal Methods, London, 1996; with a foreword by Prof. E.W. Dijkstra, Michael G. Hinchey and Jonathan P. Bowen, editors, \\
Applications of Formal Methods, Prentice Hall International Series in Computer Science, Hemel Hempstead, 1995; with a foreword by Prof. C.A.R. Hoare