4 ms·

A really nice book on the topic is "Concurrent and Real-Time Programming in Ada".

• pjmlp 10y ago
  Another one is "High Integrity Software: The SPARK Approach to Safety and Security".