Construction and Verification of Mobile Ad Hoc Network Protocols. - Natsuki Kimura; Noriaki Yoshiura (CSS, 2013)