Distributed Real-Time Software for Cyber–Physical Systems
A Framework for Comparing Models of Computation