Enviar por SMS: A new plant modelling approach for formal verification purposes