Kazi, M.K., Eljack, F. Kazantzi, V. (2019) Inherently safer design tool (i-SDT): A property-based risk quantification metric for inherently safer design during the early stage of process synthesis, Journal of Loss Prevention in the Process Industries, 57, 280-290