You are about to access our book library "THE FORMAL-METHODS CONSTITUENCY: DIFFUSION OF AN EMERGING TECHNOLOGY INTO A HIGH-VOLUME INDUSTRIAL ENVIRONMENT. full version" .