Negotiation-Enabled Modeling and Verification of Architectural Behavior of Internetware: Negotiation-Enabled Modeling and Verification of Architectural Behavior of Internetware