The safety critical systems handbook - Smith, David J.