Ashutosh Dutta Bryan Lyles Henning Schulzrinne Jiacun Wang Systems Modeling for IP-Based Handoff Using Timed Petri Nets. 1-10 2009 HICSS http://dx.doi.org/10.1109/HICSS.2009.415 conf/hicss/2009 db/conf/hicss/hicss2009.html#DuttaLSW09