Pierre-Jacques Courtois Justifying the Dependability of Computer-based Systems - Germany Springer 2014 ISBN: 9781848003729 Subjects--Topical Terms: Justifying the Dependability of Computer-based Systems