組み込み向けUMLが参考になるのかも

ブックマークコメントで、UMLでもできるという指摘をいただいたので調べてみたら、組み込み向けUML拡張では時相論理を取り入れているものがあるようだ。
これとかもそうなんだろうか
http://www.object-report.jp/2007/12/18/marte/