Automated Detection of Rule Conflicts for Enterprise IoT. - Mari Abe; Gaku Yamamoto; Sanehiro Furuichi; Kazuhito Akiyama (ICIOT, 2019)