Specifying Behavior: With an Example Menu Behavior Specification on November 26, 2010 Interaction Design +