Jackson's JSP-Like Method for State Transition Design.

Osamu Shigo

Browse the full APSEC paper archive.