Adaptive Scheduling of Data Paths using Uppaal Tiga - Israa AlAttili; Fred Houben; Georgeta Igna; Steffen Michels; Feng Zhu 002; Frits W. Vaandrager (QFM, 2009)

Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Mathijs Schuts; Feng Zhu 002; Faranak Heidarian; Frits W. Vaandrager (QFM, 2009)