On the expressiveness of modal transition systems with variability constraints