Model-based product line engineering for embedded real-time systems