Computer assistance for model definition | IEEE Conference Publication | IEEE Xplore