Requirements Engineering for Safety-Critical Systems (River Publishers Series in Software Engineering)