著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bartocci, Ezio (Computer scientist) and Cleaveland, Rance and Grosu, Radu and Sokolsky, Oleg and Smolka, Scott A.",From reactive systems to cyber-physical systems : essays dedicated to Scott A. Smolka on the occasion of his 65th birthday,,Springer,2019,Lecture notes in computer science,,9783030315139,,https://cir.nii.ac.jp/crid/1130003903166832384