Realization of a self-testing bus arbiter. - Kazuo Tokito; Takakazu Kurokawa; Yoshiaki Koga (Syst. Comput. Jpn., 1993)

Descriptions of timing in requirements for reactive systems. - Hiromi Kobayashi; Kazuo Tokito (Syst. Comput. Jpn., 2000)