Return to Article Details Towards the Design of Safety-Critical Software Download Download PDF