中川博之，大須賀昭彦，本位田真一, “プロセス間競合を考慮した自己適応システムの形式仕様構築”, 情報処理学会論文誌, vol.51, No.9, pp.1751-1764(2010.9)