Refining Boolean models with the partial most permissive scheme | Publicación