RESim: dynamic system analysis tool