based, it is not communicable to the vast majority of stakeholders and
other developers. This necessitates the generation of a parallel version in
human-readable form, which must be kept synchronized with the formally
notated version. A second drawback is in the level of effort needed to translate