Text this: Facilitating the modelling and automated analysis of cryptographic protocols