Relation between type approval and post-sale over-the-air software updates for automotive related systems