Behavioral refinement