Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems: Preface