TY - CONF AU - Dumitrescu, Roman AU - Japs, Sergej AU - Kaiser, Lydia AU - Rasor, Rik ID - 22709 T2 - TdSE 2019 TI - Model Checking of Integratively Designed Product and Production Systems ER -