Verification of concurrent objects with asynchronous method calls | IEEE Conference Publication | IEEE Xplore