Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

Xiaohong Chen, Li Han, Jing Liu, Haiying Sun

Browse the full RE paper archive.