Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing. - Grassi, Vincenzo; Mirandola, Raffaela (IEEE Transactions on Mobile Computing, 2003)