Approximation of Markovian models with non-constant parameters | IEEE Conference Publication | IEEE Xplore