https://fizzbee.ghost.io/formal-analysis-in-requirements-specification/2026-10-03T00:42:00.000Z