FIXED: Add duration rule to model for verification