Model with Globally proeprty (CAV 2011).