Text this: Designing logic systems using state machines /