An automatic protocol verification framework for the development of wireless sensor networks. - Taehyun Kim; Jaeho Kim; Sang-Shin Lee; Il-Yeup Ahn; Minan Song; Kwang-Ho Won (TRIDENTCOM, 2008)