Amal Khalil: Optimizing the Symbolic Execution of Communicating and Evolving State Machines. MoDELS (Doctoral Symposium) 2015