A Platform Independent Process Model for Smartphones Based on Invariants. - F. Chevonne Thomas Dancer; David A. Dampier (SADFE, 2010)