Bahar Akbal-Delibas Pruet Boonma Junichi Suzuki Extensible and Precise Modeling for Wireless Sensor Networks. 551-562 2009 UNISCON http://dx.doi.org/10.1007/978-3-642-01112-2_55 conf/ista/2009 db/conf/ista/uniscon2009.html#Akbal-DelibasBS09