Davide Basile, Maurice H. ter Beek, Stefania Gnesi. Modelling and analysis with featured modal contract automata. In Philippe Collet, Jianmei Guo, Jabier Martinez, Christoph Seidl, Julia Rubin, Oscar Diaz, Mukelabai Mukelabai, Thorsten Berger, editors, Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 2, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018. pages 11-16, ACM, 2018. [doi]
Abstract is missing.