Solving large interval availability models using a model transformation approach | Publicación