Structuring Real-Time Object-Z Specifications | Publicación