Andreas Gerstlauer, Rainer Dömer, Junyu Peng, Daniel D. Gaj ski,“システム設計:SpecCによる実現“,2001年
Michiaki Muraoka, Noroyoshi Itoh, Rafael K. Morizawa, Hiroyuki Yamashita, Takao Shinsha, “Software Execution Time Back-annotation Method for High Speed Hardware-Software Co-simulation“, Proc. Of SASIMI2004, pp. 169-175, October 2004