Selmo Method Brochure:

The Selmo Method is a formal decision framework for machine behavior. It defines what a machine can and cannot do, clearly, deterministically, and before a single line of code is written.