Deriving hard real-time embedded systems implementations directly from SDL specifications | Publicación