A simulated in CS-2 infrastructure for service animation and validation | IEEE Conference Publication | IEEE Xplore