Engineering from requirements to certification