ExplanationΒΆ Charm-relation-interfaces Testing Tracing Holistic vs delta charms How, and when, to defer events Security StoredState: Uses, Limitations State-transition testing