@misc{oai:repo.lib.tut.ac.jp:00001647,
 author = {本田, 晋也},
 title = {システムレベル言語を用いた組込みシステム設計手法}
}