Lessons learned from model based development of a dependable control-by-wire system | IEEE Conference Publication | IEEE Xplore