Optimal context-sensitive dynamic partial order reduction with observers | Publicación