Integrating Model Checking in an Industrial Verification Process: a Structuring Approach