Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner. Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems. In Roger Lee, editor, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Volume 569 of Studies in Computational Intelligence, pages 113-130, Springer, 2015. [doi]
Abstract is missing.