Resource-based verification for robust composition of aspects door