Mary K. Vernon Edmundo de Souza e Silva Gerald Estrin Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior. 153-171 1983 conf/performance/1983 Performance db/conf/performance/performance1983.html#VernonSE83