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