ArTIC-M&S: An Architecture for Tosca-Based Inter-Cloud Modeling and Simulation | IEEE Conference Publication | IEEE Xplore