@misc{misce2c3865b,
title   = {Validated test models for software product lines: featured finite state machines},
author = {Fragal, Vanderson Hafemann and Simão, Adenilso da Silva and Mousavi, Mohammad Reza},
year = {2017},
doi = {10.1007/978-3-319-57666-4_13},
publisher = {Springer},
booktitle   = {International Conference Formal Aspects of Component Software - FACS}
}