Buchholz, P., Dayar, T., Kriege, J. & Orhan, M. (2017) On compact solution vectors in Kronecker-based Markovian analysis. PERFORMANCE EVALUATION , 115(None), 132-149.