Read-only release history for DFA-Statemap