Version 1.0.0

Featured Transition Systems used in the different evaluations presented in: Behavioural model-based testing of software product lines
Devroey, X. (Author). 30 Aug 2017