Clement Yuen Wei Tjioe Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. 272-287 2001 conf/spin/2001 SPIN http://link.springer.de/link/service/series/0558/bibs/2057/20570272.htm db/conf/spin/spin2001.html#YuenT01