Semistate implementation: Differentiator example | Publicación