Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models | IEEE Conference Publication | IEEE Xplore