doc and sources for the SASE2013 Tutorial about Android and embedded systems