Email Record: Model-based testing of reactive systems :