Text this: Distinguishing automata machine by using UPPAAL as a model checker