화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.43, No.4, 584-587, 1998
The SHIFT programming language for dynamic networks of hybrid automata