Aspect Oriented Behavioral Synthesis