Modeling and analyzing real-time CORBA and supervision and control framework and applications | IEEE Conference Publication | IEEE Xplore