Automated Mission Analysis by Markov Chain Techniques | IEEE Journals & Magazine | IEEE Xplore