Model-Based Software Product Line Testing by Coupling Feature Models with Hierarchical Markov Chain Usage Models | IEEE Conference Publication | IEEE Xplore