EDAN15 week2-3 Hierarchical FSMs.pdf