US7047562B2 - Conditioning of the Execution of an Executable Program Upon Satisfaction of Criteria