Smith, David J.

The safety critical systems handbook : - xxi, 307 pages :

363.1162094 / SMI