Title: Built-in self-test for an airborne digital computer