Z. Pintarič. Process Safety and Environmental Protection (Transactions of the
Institution of Chemical Engineers, Part B), 85 (B1):
23--38(January 2007)
N. Leveson, M. Heimdahl, H. Hildreth, J. Reese, and R. Ortega. IWSSD '91: Proceedings of the 6th international workshop on Software specification and design, page 31--41. Los Alamitos, CA, USA, IEEE Computer Society Press, (1991)