Test control algorithms for the validation of cyber-physical systems product lines | Publicación