safety-critical systems: problems, process and practice,proceedings of the 17th safety-critical systems symposium brighton, uk, 3 - 5 february 2009

chris (edt) dale · springer-verlag new york inc