Text this: Safety property attributes in critical systems for requirement specification : A review