Peer-based multithreaded executable co-specification | IEEE Conference Publication | IEEE Xplore