Symbolic Solution of Kronecker-Based Structured Markovian Models | IEEE Conference Publication | IEEE Xplore