U. Dans
,
Modèle de l'automate d'acceptation/refus d'une demande d'allocation
, p.
91