Virtualization for Testing in Model-Driven Distributed System | IEEE Conference Publication | IEEE Xplore