Text this: Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing.