Title: Understanding Behavioral Synthesis