I read this article years ago, in the print magazine. The process they go through is extreme overkill for 99% of applications, but it is interesting to see what level of rigor is required for applications where failure of your code is really not an option.<p>Best quote in the article:<p>"If the software isn't perfect, some of the people we go to meetings with might die."<p>Puts all the code I've ever worked on in perspective.<p>Last note - the link above doesn't go to the beginning of the article, but rather the middle.