@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00002448,
 author = {Nishihara, Tasuku},
 month = {Mar},
 title = {Formal Verification of High-Level Design Based on Control/Data Separation},
 year = {2010}
}