StarSim: A stand-alone tool for "in the loop" verification