I find this program very interesting because it is used, among other things, for medical device embedded software; ie, perhaps the most challenging high stakes programming environment. The author makes maximum achievable software quality an explicit goal.