Pattern-based Interactive Configuration Derivation for Cyber-Physical System Product Lines