Rigorous engineering of product-line requirements: A case study in failure management