Refining Boolean models with the partial most permissive scheme. - Nadine Ben Boina; Brigitte Mossé; Anaïs Baudot; Elisabeth Remy (CoRR, 2024)