61691-5-2004-IEC/IEEE International Standard-Behavioral Languages-Part 5: Standard VITAL ASIC (Application Specific Integrated Circuit) Modeling Specification