Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium | lit.salon