"’·—˜Œ’Ž¡,Žº‰ª‘ñ–í,”‹Œ´�¹‹M,ˆÀ“¡�’‰›,“‡�ì�¹–ç,ˆÉ“¡�@•½,”‹Œ´–ÎŽ÷,•Ä�è’¼Ž÷","‹L�q�«‚ð�dŽ‹‚µ‚½ƒŠƒAƒNƒeƒBƒuƒVƒXƒeƒ€—pŽd—l‹L�qŒ¾ŒêT","‘æ20‰ñƒ\ƒtƒgƒEƒFƒA�HŠw‚ÌŠî‘bƒ��[ƒNƒVƒ‡ƒbƒvFOSE2013",,,,,,2013,Nov.
"Kenji Osari,Takuya Murooka,Kiyotaka Hagiwara,Takahiro Ando,Masaya Shimakawa,Sohei Ito,Shigeki Hagihara,Naoki Yonezaki","An object-oriented language  for parameterised reactive system specification based on linear temporal logic","Workshop on Computation: Theory and Practice (WCTP2013)","Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013)",,,,"pp. 94-113",2013,Sept.