Safety for gas pipelines: How to protect people & the environment?