IReadOnlyList<Property> StressSafetyMargin.Properties { get; }