VIBeS Case Studies: Featured Transition Systems and Feature Models

This repository contains several case studies, with their Feature Models and Featured Transition Systems, used for VIBeS evaluations.