Behavior Contracts – The SMART Way