Software architectural modeling of the CORBA Object Transaction Service | IEEE Conference Publication | IEEE Xplore