\begin{thebibliography}{10}

\bibitem{d_add_white}
{Tatsumi Nagayama, Yasuhiko Yokote.}: 合意記述データベース, オープンシステムディペンダビリティとD-Caseを繋ぐリポジトリ

\bibitem{deos}
{DEOS 研究開発センター.}: DEOS プロジェクト 「実用化を目指した組み込みシステム用ディペンダブル・オペレーティングシステム」 (2012)

\end{thebibliography}