Writing

Essays on model-based systems engineering, traceability, verification, and what it takes to let automated tooling near a safety-critical model. Mostly things I wish someone had written down before I learned them the slow way.