Behavior Models: Specifying User's Expectations - James A. Kowal