Automated Markov-chain based analysis for large state spaces. - Kaitlin N. Smith; Michael A. Taylor 001; Anna A. Carroll; Theodore W. Manikas; Mitchell A. Thornton (SysCon, 2017)