Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress | IEEE Conference Publication | IEEE Xplore