State-density functions over DBM domains in the analysis of non-Markovian models