著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Burns, Alan and Wellings, Andrew J.",HRT-HOOD : a structured design method for hard real-time Ada systems,,Elsevier,1995,Real-time safety critical systems,,,,https://cir.nii.ac.jp/crid/1130282271839199232