Safeware : system safety and computers - Nancy G. Leveson (Addison Wesley Publishing Company, 1995)
wt,1/ws.c.1