Fig. 2From: CrashSafe: a formal model for proving crash-safety of Android applicationsHigh-level description of inter-component communication [32]Back to article page