Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level | IEEE Conference Publication | IEEE Xplore