Minimizing test-point allocation to improve diagnosability in business process models | Publicación