State exploration by transformation with lola | Publicación