Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification | IEEE Conference Publication | IEEE Xplore