Safety Property Attributes in Critical Systems for Requirement Specification: A Review