Hybrid formal modelling paper accepted at FedCSIS 2015