Model Checking of Integratively Designed Product and Production Systems