State Profiling of Internal Variables. - Wes Masri; James Daou; Rawad Abou Assi (ICST Workshops, 2014)