Implementing Safe Real-Time Systems by Means of Automatic Prototyping 1 | Publicación