Automated Markov-chain based analysis for large state spaces | IEEE Conference Publication | IEEE Xplore