In The Studio: Models Checking Cell Phones