Specifying Safety Requirements with GORE languages