The Power of 10: Rules for Developing Safety-Critical Code (2006) [pdf]web.eecs.umich.edu·1 pts·axutio·0