Stand Alone System Requirement Specification for Fail-Safe Train Positioning