TITLE     : QFLan: A tool for the quantitative analysis of highly reconfigurable systems
AUTHOR(S) : Vandin A, Ter Beek Mh, Legay A, Lluch Lafuente A
TYPE      : Conference article
YEAR      : 2018
CODE      : 391584

*** DO NOT EDIT THIS FILE ***