A Platform Independent Process Model for Smartphones Based on Invariants | IEEE Conference Publication | IEEE Xplore