リアルタイム・システムのためのCASE(完)_ハレルのリアルタイム手法