Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines