Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau. Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. In Paul Grünbacher, Christoph Seidl 0001, Deepak Dhungana, Helena Lovasz-Bukvova, editors, VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021. ACM, 2021. [doi]
Abstract is missing.