Lazy transition systems | Publicación