A Formal Approach for the Iterative Design of Behavioural Models | IEEE Conference Publication | IEEE Xplore