Text this: Computer-aided modelling of thyristor circuits