DSLs help shorten development time and reduce errors. This is true for many domains, including safety-critical ones. Yet, as they say, with great power comes great responsibility. What process do you need to follow to use DSLs in safety-critical contexts? How can you make sure that errors in your tools do not harm or kill people? […]