Performability Modeling of Mobile Software Systems