REAL-TIME SYSTEMS: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog and Henning Dierks

Here is the list with errors found in the book

If you think that you have found an undiscovered error in the book then do not hesitate to contact us. We will check the suspicious part and publish a correction.