model extraction for arinc 653 based avionics software .
software model checking : extracting verification models from source code .