ハトレー氏のリアルタイムSA手法――大規模なソフトウェア主体の航空システムを構造化手法で開発