An instruction encoding method is provided for communication between devices. The stiffener includes: an insulating material layer; and a rigid plate mounted substantially parallel to a surface of the substrate in the insulating material layer, the rigid plate having formed therein a plurality of through holes, at least a part of the through holes being filled with the insulating material. Asset allocation models are available from the system, or a user can create an unlimited number of custom asset allocation models. The analysis engine identifies a program element or program element behavior from the target assembly that is to be checked for adherence to a rule from the rule assembly.