Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems | IEEE Conference Publication | IEEE Xplore