形式的に記述されたODE解法スキームに基づくCellMLシミュレーションコード生成システム - 國枝, 義敏; 山下, 義陽; 川端, 真成; 嶋吉, 隆夫; プンザラン, フロレンシオ ラスティ; 天野, 晃; 桑原, 寛明; 副島, 直樹 (生体医工学, 2012)