Formal modelling and verification framework