On the expressiveness of modal transition systems with variability constraints

Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini. On the expressiveness of modal transition systems with variability constraints. Science of Computer Programming, 169:1-17, 2019. [doi]

Abstract

Abstract is missing.