Getting Level of Specification Right
Lesson
What's Wrong with This Spec? Example: States of the Keypad Example: States of a Database Extras
Hackers Crack an ATM in Seconds Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents