## Simple arbitor for two clients

ALWAYS (req1 -> EVENTUALLY (grant1))
ALWAYS (req2 -> EVENTUALLY (grant2))
ALWAYS (!(grant1 && grant2))

INPUT req1, req2
OUTPUT grant1, grant2