SEL4...System Engineered Lifecycle...4
th
Generation
for Configurable Systems