This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear …
