Iterative refinement of specification for component based embedded systems | Publicación