Title: Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium