Specification of Real-Time Distributed Systems by Mike Rodd | Menrva Books | MenrvaBooks