Combining Interaction and Automation in Process Algebra Verification