Integration is Key for the Adoption of Specification Automation