<?xml version="1.0" encoding="UTF-8"?><?xml-stylesheet href="/rss.xsl" type="text/xsl"?><rss version="2.0"><channel><title>MBSE iNsights</title><description>Model-Based Systems Engineering, written and taught by a practicing systems engineer.</description><link>https://mbseinsights.tech/</link><language>en-us</language><item><title>The Derivation Ladder</title><link>https://mbseinsights.tech/articles/the-derivation-ladder/</link><guid isPermaLink="true">https://mbseinsights.tech/articles/the-derivation-ladder/</guid><description>Eighteen constructs, added to a use case one at a time, and exactly what each one turns into downstream. The map nobody prints, with the real numbers attached.</description><pubDate>Sat, 29 Aug 2026 13:00:00 GMT</pubDate><category>SysML v2</category><category>Requirements</category><category>Verification</category></item><item><title>From Behavior to Proof</title><link>https://mbseinsights.tech/articles/from-behavior-to-proof/</link><guid isPermaLink="true">https://mbseinsights.tech/articles/from-behavior-to-proof/</guid><description>A model can be turned into requirements automatically. Making those requirements testable is a different problem — and the answer starts by asking what you could actually see from outside the box.</description><pubDate>Fri, 28 Aug 2026 02:00:00 GMT</pubDate><category>SysML v2</category><category>Verification</category><category>Requirements</category></item></channel></rss>