Asking for the Impossible: The State of the Art in Safety-Related Systems.

Martyn Thomas Asking for the Impossible: The State of the Art in Safety-Related Systems. 42-47 1989 conf/esec/1989 ESEC db/conf/esec/esec89.html#Thomas89