Using slithers of simulation in a new approach for intelligent initialization of non-terminating systems | IEEE Conference Publication | IEEE Xplore