Wyślij emailem: A methodology for evaluating tooth wear monitoring using timed automata modelling