Real-Time Euclid: A language for reliable real-time systems | IEEE Journals & Magazine | IEEE Xplore