Fsm Chapter
Chapter 5 FSM
Tracey Clark McDermid Mander 02 # a Search Based Automated Test-Data Generation Framework for Safety-Critical Systems