形式手法ではないけど、制御系設計のツール。
カリフォルニア大学／バークレー校で作られたソフトウェア。

時刻による制御を行うシステムの設計・検証が可能みたい。
センサ・コントローラ・アクチュエータといったものから構成されるシステム向け。

http://embedded.eecs.berkeley.edu/giotto/