MBTに関連するモデリングの標準を策定している主な団体はどれか。

モデルが特定の安全性（セーフティ）プロパティを満たしているか検証する技術はどれか。