Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling | IEEE Conference Publication | IEEE Xplore