Component-oriented design and interaction semantics description of hybrid control system | IEEE Conference Publication | IEEE Xplore