Model checking of the reliability of publish/subscribe structure based system | IEEE Conference Publication | IEEE Xplore