リアルタイムシステムのためのCASE⑥_最近のハトレーのリアルタイムSA手法(1)