No real connection between the two, but another rattlesnake story, scroll down to Roger's Remarks.
Voas and Laplante discuss "Effectively defining 'shall not' requirements". I've always liked Voas' idea of "software fault injection".
And, I always have my undergrad software engineering students read RFC 2119 about "shalls", it is usually their first experience to language used in that way.
