Formal system verification for trustworthy embedded systems, final report option 1 — AOARD 104105