Using Hidden Markov Models for the accurate linguistic analysis of process model activity labels. (July 2019)