A method for identifying policy violations for controlling behavior of an Internet of Things, IoT, automation system, the method comprising a processor implemented steps of: performing, by one or more hardware processors, a plurality of steps in parallel, wherein the plurality of steps comprise: obtaining, via a Rules Input Component, a first set of information comprising a set of rules from a plurality of sources, wherein the first set of information defines control logics for controlling behavior of the IoT automation system; and generating, from a second set of information, a plurality of models representing behavior, relationships and functions of one or more sub-systems corresponding to the IoT automation system, wherein the second set of information comprises a pre-defined set of information on the IoT automation system; extracting, from the first set of information, a rules model via a Rules Model Component, wherein the rules model comprises a set of modelled rules corresponding to the first set of information; constructing, using each of the plurality of models and the rules model, an integrated model via an Integrated Model Constructor, wherein the integrated model comprises a synchronized hybrid model of the IoT automation system wherein each of the plurality of models are executing in parallel; and identifying, from the integrated model, one or more policy violations via a Model Verifier Component for controlling behavior of the IoT automation system and the one or more sub-systems corresponding to the IoT automation system wherein the identification of the one or more policy violations comprise an identification of a set of conflicting rules generated via a Reporting System Component, and wherein the identification of the set of conflicting rules optimizes controlling behavior of the IoT automation system and the one or more sub-systems corresponding to the IoT automation system, wherein the identification of the one or more policy violations comprises identifying a plurality of transitions in the integrated model, wherein the plurality of transitions are each enabled at the same time. performing, by one or more hardware processors, a plurality of steps in parallel, wherein the plurality of steps comprise: obtaining, via a Rules Input Component, a first set of information comprising a set of rules from a plurality of sources, wherein the first set of information defines control logics for controlling behavior of the IoT automation system; and generating, from a second set of information, a plurality of models representing behavior, relationships and functions of one or more sub-systems corresponding to the IoT automation system, wherein the second set of information comprises a pre-defined set of information on the IoT automation system; obtaining, via a Rules Input Component, a first set of information comprising a set of rules from a plurality of sources, wherein the first set of information defines control logics for controlling behavior of the IoT automation system; and generating, from a second set of information, a plurality of models representing behavior, relationships and functions of one or more sub-systems corresponding to the IoT automation system, wherein the second set of information comprises a pre-defined set of information on the IoT automation system; extracting, from the first set of information, a rules model via a Rules Model Component, wherein the rules model comprises a set of modelled rules corresponding to the first set of information; constructing, using each of the plurality of models and the rules model, an integrated model via an Integrated Model Constructor, wherein the integrated model comprises a synchronized hybrid model of the IoT automation system wherein each of the plurality of models are executing in parallel; and identifying, from the integrated model, one or more policy violations via a Model Verifier Component for controlling behavior of the IoT automation system and the one or more sub-systems corresponding to the IoT automation system wherein the identification of the one or more policy violations comprise an identification of a set of conflicting rules generated via a Reporting System Component, and wherein the identification of the set of conflicting rules optimizes controlling behavior of the IoT automation system and the one or more sub-systems corresponding to the IoT automation system, wherein the identification of the one or more policy violations comprises identifying a plurality of transitions in the integrated model, wherein the plurality of transitions are each enabled at the same time.