Automatic induction of DEVS structures | Publicación