Safety Property Attributes in Critical Systems for Requirement Specification: A Review | IEEE Conference Publication | IEEE Xplore