Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems