A tutorial on ProSim: a knowledge-based simulation model design tool | IEEE Conference Publication | IEEE Xplore