1
Software for dependable systems : sufficient evidence? [E-Book] /