State-Based Encoding of Large Asynchronous Controllers | Publicación