Composition and Equivalence of Markovian and Non-Markovian Models | IEEE Conference Publication | IEEE Xplore