Text this: Modelling and Visualisation of State Machines for Digital Systems