Model Checking of Timed State Charts. RTT-MBT applies model checking to behavioural models that are specified as timed state charts in UML and SysML, respectively. From these models,
Model Checking of Timed State Charts Sample Clauses
Related to Model Checking of Timed State Charts
FEDERAL ACQUISITION REGULATION CONTRACT CLAUSES 52.246-02 INSPECTION OF SUPPLIES -- FIXED-PRICE (AUG 1996) 52.246-02 INSPECTION OF SUPPLIES -- FIXED-PRICE (AUG 1996) - ALTERNATE I (JUL 1985) 52.246-02 INSPECTION OF SUPPLIES -- FIXED-PRICE (AUG 1996) - ALTERNATE II (JUL 1985) 52.246-03 INSPECTION OF SUPPLIES -- COST-REIMBURSEMENT (MAY 2001) 52.246-04 INSPECTION OF SERVICES -- FIXED-PRICE (AUG 1996) 52.246-05 INSPECTION OF SERVICES -- COST-REIMBURSEMENT (APR 1984) 52.246-06 INSPECTION -- TIME-AND-MATERIAL AND LABOR-HOUR (MAY 2001) 52.246-06 INSPECTION -- TIME-AND-MATERIAL AND LABOR-HOUR (MAY 2001) - ALTERNATE I (APR 1984) 52.246-15 CERTIFICATE OF CONFORMANCE (APR 1984) 52.246-16 RESPONSIBILITY FOR SUPPLIES (APR 1984)
DEFENSE FEDERAL ACQUISITION REGULATION SUPPLEMENT CONTRACT CLAUSES 252.246-7000 MATERIAL INSPECTION AND RECEIVING REPORT (MAR 2008)
Important Information About Procedures for Opening a New Account To help the government fight the funding of terrorism and money laundering activities, Federal law requires all financial organizations to obtain, verify, and record information that identifies each person who opens an account. What this means for you: When you open an account, you are required to provide your name, residential address, date of birth, and identification number. We may require other information that will allow us to identify you.
Foreign Asset/Account Reporting Notification The Participant must report securities held (including Shares) or any bank or brokerage accounts opened and maintained outside Belgium on the Participant’s annual tax return. In a separate report, the Participant is required to report to the National Bank of Belgium the details of such accounts opened and maintained outside Belgium. This report, as well as additional information on how to complete it, can be found on the website of the National Bank of Belgium, xxx.xxx.xx, under the Kredietcentrales / Centrales des crédits caption.
Acting on Instructions; Unclear Instructions (a) Bank is authorized to act under this Agreement (or to refrain from taking action) in accordance with the instructions received by Bank, via telephone, telex, facsimile transmission, or other teleprocess or electronic instruction or trade information system acceptable to Bank ("Instructions"). Bank shall have no responsibility for the authenticity or propriety of any Instructions that Bank believes in good faith to have been given by Authorized Persons or which are transmitted with proper testing or authentication pursuant to terms and conditions that Bank may specify. Customer authorizes Bank to accept and act upon any Instructions received by it without inquiry. Customer shall indemnify the Bank Indemnitees against, and hold each of them harmless from, any Liabilities that may be imposed on, incurred by, or asserted against the Bank Indemnitees as a result of any action or omission taken in accordance with any Instructions or other directions upon which Bank is authorized to rely under the terms of this Agreement, provided that Bank shall not be indemnified against or held harmless from any Liabilities arising out of Bank's negligence, bad faith, fraud, or willful misconduct. (b) Unless otherwise expressly provided, all Instructions shall continue in full force and effect until canceled or superseded. (c) Bank may (in its sole discretion and without affecting any part of this Section 3.1) seek clarification or confirmation of an Instruction from an Authorized Person and may decline to act upon an Instruction if it does not receive clarification or confirmation satisfactory to it. Bank shall not, except as provided in Section 7.1 hereof, be liable for any loss arising from any delay while it seeks such clarification or confirmation. (d) In executing or paying a payment order Bank may rely upon the identifying number (e.g. Fedwire routing number or account) of any party as instructed in the payment order. Customer assumes full responsibility for any inconsistency within an Instruction between the name and identifying number of any party in payment orders issued to Bank in Customer's name.
Foreign Asset/Account Reporting Notice Argentine residents must report any Shares acquired under the Plan and held by the resident on December 31st of each year on their annual tax return for that year. In addition, when the Employee acquires, sells, transfers or otherwise disposes of Shares, the Employee must register the transaction with the Federal Tax Administration. Argentine residents should consult with their personal tax advisor to determine their personal reporting obligations.
Foreign Asset/Account, Exchange Control and Tax Reporting The Participant may be subject to foreign asset/account, exchange control and/or tax reporting requirements as a result of the acquisition, holding and/or transfer of shares of Common Stock or cash (including dividends and the proceeds arising from the sale of shares of Common Stock) derived from his or her participation in the Plan, to and/or from a brokerage/bank account or legal entity located outside the Participant’s country. The applicable laws of the Participant’s country may require that he or she report such accounts, assets, the balances therein, the value thereof and/or the transactions related thereto to the applicable authorities in such country. The Participant acknowledges that he or she is responsible for ensuring compliance with any applicable foreign asset/account, exchange control and tax reporting requirements and should consult his or her personal legal advisor on this matter.
Actions of Custodian Based on Proper Instructions and Special Instructions So long as and to the extent that the Custodian acts in accordance with (a) Proper Instructions or Special Instructions, as the case may be, and (b) the terms of this Agreement, the Custodian shall not be responsible for the title, validity or genuineness of any property, or evidence of title thereof, received by it or delivered by it pursuant to this Agreement.
CERTIFICATION REGARDING USE OF CONTRACT FUNDS FOR LOBBYING This provision is applicable to all Federal-aid construction contracts and to all related subcontracts which exceed $100,000 (49 CFR 20). 1. The prospective participant certifies, by signing and submitting this bid or proposal, to the best of his or her knowledge and belief, that: a. No Federal appropriated funds have been paid or will be paid, by or on behalf of the undersigned, to any person for influencing or attempting to influence an officer or employee of any Federal agency, a Member of Congress, an officer or employee of Congress, or an employee of a Member of Congress in connection with the awarding of any Federal contract, the making of any Federal grant, the making of any Federal loan, the entering into of any cooperative agreement, and the extension, continuation, renewal, amendment, or modification of any Federal contract, grant, loan, or cooperative agreement. b. If any funds other than Federal appropriated funds have been paid or will be paid to any person for influencing or attempting to influence an officer or employee of any Federal agency, a Member of Congress, an officer or employee of Congress, or an employee of a Member of Congress in connection with this Federal contract, grant, loan, or cooperative agreement, the undersigned shall complete and submit Standard Form-LLL, "Disclosure Form to Report Lobbying," in accordance with its instructions. 2. This certification is a material representation of fact upon which reliance was placed when this transaction was made or entered into. Submission of this certification is a prerequisite for making or entering into this transaction imposed by 31 U.S.C. 1352. Any person who fails to file the required certification shall be subject to a civil penalty of not less than $10,000 and not more than $100,000 for each such failure. 3. The prospective participant also agrees by submitting its bid or proposal that the participant shall require that the language of this certification be included in all lower tier subcontracts, which exceed $100,000 and that all such recipients shall certify and disclose accordingly. This provision is applicable to all Federal-aid projects funded under the Appalachian Regional Development Act of 1965. 1. During the performance of this contract, the contractor undertaking to do work which is, or reasonably may be, done as on-site work, shall give preference to qualified persons who regularly reside in the labor area as designated by the DOL wherein the contract work is situated, or the subregion, or the Appalachian counties of the State wherein the contract work is situated, except: a. To the extent that qualified persons regularly residing in the area are not available. b. For the reasonable needs of the contractor to employ supervisory or specially experienced personnel necessary to assure an efficient execution of the contract work. c. For the obligation of the contractor to offer employment to present or former employees as the result of a lawful collective bargaining contract, provided that the number of nonresident persons employed under this subparagraph (1c) shall not exceed 20 percent of the total number of employees employed by the contractor on the contract work, except as provided in subparagraph (4) below. 2. The contractor shall place a job order with the State Employment Service indicating (a) the classifications of the laborers, mechanics and other employees required to perform the contract work, (b) the number of employees required in each classification, (c) the date on which the participant estimates such employees will be required, and (d) any other pertinent information required by the State Employment Service to complete the job order form. The job order may be placed with the State Employment Service in writing or by telephone. If during the course of the contract work, the information submitted by the contractor in the original job order is substantially modified, the participant shall promptly notify the State Employment Service. 3. The contractor shall give full consideration to all qualified job applicants referred to him by the State Employment Service. The contractor is not required to grant employment to any job applicants who, in his opinion, are not qualified to perform the classification of work required. 4. If, within one week following the placing of a job order by the contractor with the State Employment Service, the State Employment Service is unable to refer any qualified job applicants to the contractor, or less than the number requested, the State Employment Service will forward a certificate to the contractor indicating the unavailability of applicants. Such certificate shall be made a part of the contractor's permanent project records. Upon receipt of this certificate, the contractor may employ persons who do not normally reside in the labor area to fill positions covered by the certificate, notwithstanding the provisions of subparagraph (1c) above. 5. The provisions of 23 CFR 633.207(e) allow the contracting agency to provide a contractual preference for the use of mineral resource materials native to the Appalachian region. 6. The contractor shall include the provisions of Sections 1 through 4 of this Attachment A in every subcontract for work which is, or reasonably may be, done as on-site work.
SUBMISSION OF THE MONTHLY MI REPORT 4.1 The completed MI Report shall be completed electronically and returned to the Authority by uploading the electronic MI Report computer file to MISO in accordance with the instructions provided in MISO. 4.2 The Authority reserves the right (acting reasonably) to specify that the MI Report be submitted by the Supplier using an alternative communication to that specified in paragraph 4.1 above such as email. The Supplier agrees to comply with any such instructions provided they do not materially increase the burden on the Supplier.
