Text this: Digital system design using FSMs :