* Full use of LUTE for verification of ARINC653 requirements