Validation of Service Blueprint Models by Means of Formal Simulation Techniques | Publicación