Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-time Control Applications | IEEE Conference Publication | IEEE Xplore