Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report.

Luciana Provenzano, Kaj Hnninen

Browse the full REFSQ paper archive.