Improving system reliability via rigorous software modeling: the UML case | Publicación