Modular verification of synchronization with reentrant locks | IEEE Conference Publication | IEEE Xplore