著者名 書名 版表示 出版者名 出版年 シリーズ名 番号 ISBN ISSN URL Bailey, Brian and Martin, Grant (Grant Edmund) ESL models and their application : electronic system level design and verification in practice Springer 2010 Embedded systems / Nikil Dutt, Grant Martin, Peter Marwedel, series editors 9781441909640 https://ci.nii.ac.jp/ncid/BB01460448