Special issue on software for critical systems (IEEE, 1993)
In: IEEE transactions on software engineering. Vol. 19, No.1, 1993