GitHub repository: nolisj/mbeddr.formal
Description: FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.