拡張階層化状態遷移表設計手法Ver.2.0―Embedded SEのための設計手法