System verification using multilevel concurrent simulation | IEEE Journals & Magazine | IEEE Xplore