Towards the automatic specification of the behaviour of early prototypes using Lean Cuisine+ | IEEE Conference Publication | IEEE Xplore