ELISA Project aims to make it easier to build & certify safety-critical apps. Follow on LinkedIn for updates: