Consistency of property specification patterns with boolean and constrained numerical signals