SPECIFICATION IntegrationSpecT11
INVARIANT IntegrationSafetyT11
PROPERTY IntegrationTerminatesT11