* Use LUTE to automatically validate ARINC653 requirements
 * Add a standalone validation function in LUTE