Checking the robustness of a Message Oriented Middleware based system | IEEE Conference Publication | IEEE Xplore