practical elements of safety: proceedings of the twelfth safety-critical systems symposium, birmingham, uk, 17 19 february 2004 (en Inglés)

forsythe, s. j. · springer