A Systematic Investigation of Behavioural Model Complexity Requirements | IEEE Conference Publication | IEEE Xplore