RiPLE-TE: A Process for Testing Software Product Lines