EwoK: secure embedded micro-kernel using SPARK/Ada formal verificationgithub.com/wookey-project5 pointsgusthoff8 years ago