Safety Property Attributes in Critical Systems for Requirement Specification: A Review. - Azma binti Abdullah; Rohani Abu Bakar; Kiriyadhatshini Gunaratnam; Fadhl Hujainah; Mohd Fairus Abdul Farid (ICSECS, 2023)