Update safety_req.tex

Add new use cases