今、国内で、それなりの規模と質の仕事で、形式的仕様記述を扱おうとしている所って、
どれくらいあるんでしょうね？

・旧鉄道総研系？
・証券のWebフロントエンドやってるあそこ
・SystemC＋UMLでツール作ってる↑あそこ
・組込系でExecutableUMLやってる所
・MDA周りは、形式的仕様記述ってのとは違うのかな？(大メーカ、大SIerもまだ模様眺めみたいですが。。。)