Identifying and verifying clock synchronization protocol parameters. - Sho Fujita; Kenji Ooishi; Yosuke Ishii; Masato Yamaji (IoTSP@CoNEXT, 2011)