Design and implementation of real-time distributed systems with the ASSERT Virtual Machine | Publicación