Derivation of Markov models for effectiveness analysis of adaptable software architectures for mobile computing | IEEE Journals & Magazine | IEEE Xplore