Searching protocol for "law-driven engineering"
Law-Driven Engineering for business-critical systems.
Elevate validated uncertainties into formal Laws.