Automatable Integrations for the Reuse of Concurrent Specifications