Email Record: A new plant modelling approach for formal verification purposes