SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line | IEEE Conference Publication | IEEE Xplore