Biome Config Inspired by Gerard J. Holzmann's "Rules for Developing Safety Critical Code" - View it on GitHub