Perhaps a word on my motivation to study your book: I am working for a software company (www.gmv.com) that is active in the area of critical software development. I am personally responsible for research programmes in the area of aeronautical and space on-board systems.