Markov Modelling for Autonomous Vehicle Safety Assessment: Numerical Modularization to Avoid System State-Explosion | IEEE Conference Publication | IEEE Xplore