SyMPLES-CVL: A SysML and CVL Based Approach for Product-Line Development of Embedded Systems | IEEE Conference Publication | IEEE Xplore