Comparative Modeling and Verification of Pthreads and Dthreads | IEEE Conference Publication | IEEE Xplore