Load transformation of Markovian arrival processes: methods and tool support.