Papers: Full of Information, read in half an hour.

White papers and articles are great for reading something that's a little longer, and goes a little deeper.

Introduction to Safety Standards

Introduction to Safety Standards

This article provides an overview of safety standards like IEC 61508, and describes how ReqIF can help to support the development of save systems.
Integrating Requirements and Formal Models

Integrating Requirements and Formal Models

Once requirements engineering and management are mastered, integrating them into your systems development process is the logical next step. This article describes how such an integration could look like, using the Event-B modeling language as an example.