Fig. 3From: CrashSafe: a formal model for proving crash-safety of Android applicationsImplicit inter-component communication [17]Back to article page