Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"伊藤, 徹 and Akira, Itou",TCCT : Timed Calculus with Controllable Timers,情報処理学会論文誌プログラミング（PRO）,1882-7802,情報処理学会,2003-03-15,44,SIG04(PRO17),80-80,https://cir.nii.ac.jp/crid/1050282812867286528,