High Integrity Software - Winter, Victor L.; Bhattacharya, Sourav (Springer US, 2001)