著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Kavi, Krishna M. and IEEE Computer Society","Real-time systems : abstractions, languages, and design methodologies",,IEEE Computer Society Press,1992,IEEE Computer Society Press tutorial,,"081863152X,0818631511,0818631503",,https://cir.nii.ac.jp/crid/1130282269933065984