Jonathan Bowen, editor Elsevier, Real-Time Safety Critical Systems series, volume 2 322 pages. ISBN 0-444-89901-4 Hardbound. Publication: October 1994. Image:Tvs-book-cover.gif The book Towards Verified Systems, edited by J.P. Bowen, is available as volume 2 in the book series on Real-Time Safety Critical Systems (Series Editor: Hussein Zedan) published by Elsevier Science B.V. It documents the main results of the safemos project. The contributors are: * Jonathan Bowen * Juanito Camilleri * Rachel Cardell-Oliver * Mike Gordon * Roger Hale * John Herbert