複雑なリアルタイムシステム向けの同期型プログラミング言語