Modeling and Description of Processor-Based Systems with DTMSII | IEEE Journals & Magazine | IEEE Xplore