Deriving Non-zeno Behavior Models from Goal Models Using ILP.

Dalal Alrajeh, Alessandra Russo, Sebastin Uchitel

Browse the full FASE paper archive.