Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application | IEEE Conference Publication | IEEE Xplore