selected publications conference paper ArTIC-M&S: An Architecture for Tosca-Based Inter-Cloud Modeling and Simulation 2020