The implementation and application of statecharts in real-time system in high energy physics | IEEE Journals & Magazine | IEEE Xplore