Top-down synthesis of live and bounded free choice nets | Publicación