Mauro Brizzi Davide Grillo CQNA-2: Closed Queueing Network Analyser. 103-117 1981 conf/mmb/1981 MMB db/conf/mmb/mmb81.html#BrizziG81