A discrete event simulation procedure for validating programs of requirements