4 ms·Do you have a reference where this has been done with Ada/Spark?by Rochus 6y agoDo you have a reference where this has been done with Ada/Spark?