BigraphTalk: Verified Design of IoT Applications. - Blair Archibald; Min-Zheng Shieh; Yu-Hsuan Hu; Michele Sevegnani; Yi-Bing Lin (IEEE Internet Things J., 2020)