Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. - Clement Yuen; Wei Tjioe (SPIN, 2001)