Testing of highly configurable cyber–physical systems — Results from a two-phase multiple case study | Publicación