Read-only release history for Decision-Markov