From Verified Scala to STIX File System Embedded Code Using Stainless. - Jad Hamza; Simon Felix; Viktor Kuncak; Ivo Nussbaumer; Filip Schramka (NFM, 2022)