Automatable integrations for the reuse of concurrent specifications