The SIMBA user alert service architecture for dependable alert delivery | IEEE Conference Publication | IEEE Xplore