Stochastic Process Model-Log Quality Dimensions: An Experimental Study | IEEE Conference Publication | IEEE Xplore