2005-12-21 産総研の差し金? と思しき記事が出たらしい。:-) なぜか日経エレクトロニクスで35ページにわたって特集。ソースコードモデル検査の説明が少し嘘っぽいですが(詳しい人がいなかった?)、それ以外はまあまあ正確かも。