Nicely put!

Have you looked at adding Formal Specification/Verification to the above checklist?