Organizing and structuring software through patterns, decisions, and verified design rules - View it on GitHub