Exploring the Potential of Frama-C in IoT Static Analysis. - Minh Le Kim Tran; William King; Harvey P. Siy (MobiHoc, 2023)