//-->
An automated system for batch hazard and operability studies
Palmer, C., (2009)
Investigating the potential to simulate hospital-based infection outbreaks using the STAMP architecture
Waterson, Patrick, (2010)
Safety Assessment and the Software Requirements Specification
Broomfield, E.J., (1997)