Object-oriented model validation for single bowden power window system development | IEEE Conference Publication | IEEE Xplore