Supporting Requirements Validation: The EuRailCheck Tool