An Analysis of the State of Framework Development for Reasoning in Smart Cyber- hysical Systems