Since I've spent quite a bit of time at JPL, some of it doing formal specification and verification, this article in the latest IEEE Computer caught my eye.
It's a short essay giving ten "rules" for safety critical software development. Some of it reminds me of cleanroom software engineering (with the exception of Rule 10 :)
