Enhancing soft systems analysis with formal modelling | IEEE Conference Publication | IEEE Xplore