A machine learning approach for generating temporal logic classifications of complex model behaviours | IEEE Conference Publication | IEEE Xplore